Logic Fragments: Coordinating Entities with Logic Programs.
| Autor: | De Angelis, Francesco Luca, Di Marzo Serugendo, Giovanna |
|---|---|
| Zdroj: | Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p589-604, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|