| langue originale | Anglais |
|---|---|
| Pages (de - à) | 252-276 |
| Nombre de pages | 25 |
| journal | Journal of Applied Logic |
| Volume | 5 |
| Numéro de publication | 2 |
| Etat de la publication | Publié - 2007 |
The computational complexity of scenario-based agent verification and design
Yves Bontemps, Pierre-Yves Schobbens
Résultats de recherche: Contribution à un journal/une revue › Article