Multi-agent systems: Modeling and Verification using Hybrid Automata
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2010 S. 20
Erscheinungsjahr: 2010
ISBN/ISSN: 1864-0850
Publikationstyp: Diverses (Forschungsbericht)
Sprache: Englisch
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Autoren
Mohammed, Ammar (Autor)
Furbach, Ulrich (Autor)
