]
]
]
]
Publication
The computational complexity of scenario-based agent verification and design
| Auteur(s) | Yves BONTEMPS, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
Unité conception et développement des systèmes d'information
Unité langages et programmation PReCISE Research Center Pôle sémantique, logique et calcul |
| Projet de recherche | Relation entre spécification inter-agent et intra-agent (YBO) |
| Année | 2007 |
| Type | Articles de périodique |
| Langue | Anglais |
| Mots clés | |
| Résumé | |
| Versions électroniques |
Article de périodique
| Titre du périodique | Journal of Applied Logic |
| Sous-titre du périodique | |
| Editeur scientifique | |
| Volume | 5 |
| Fascicule | 2 |
| Pages | 252 - 276 |
| Date de parution | |
| Facteur d'impact | |
| Nombre de citations |
