Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.

PROMAS. 2009 S. 49 - 66

Erscheinungsjahr: 2009

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1007/978-3-642-14843-9_4

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Mohammed, Ammar (Autor)
Furbach, Ulrich (Autor)

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik