MetadatenVerfasserangaben: | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
---|
URN: | urn:nbn:de:kola-1214 |
---|
Untertitel (Englisch): | specification and model checking |
---|
Schriftenreihe (Bandnummer): | Arbeitsberichte, FB Informatik (2007,14) |
---|
Dokumentart: | Ausgabe (Heft) zu einer Zeitschrift |
---|
Sprache: | Englisch |
---|
Datum der Fertigstellung: | 06.07.2007 |
---|
Datum der Veröffentlichung: | 06.07.2007 |
---|
Veröffentlichende Institution: | Universität Koblenz, Universitätsbibliothek |
---|
Datum der Freischaltung: | 06.07.2007 |
---|
Freies Schlagwort / Tag: | Multi-robot System; Multiagent System; UML |
---|
Seitenzahl: | 14 |
---|
Institute: | Fachbereich 4 / Fachbereich 4 |
---|
| Fachbereich 4 / Institut für Informatik |
---|
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Lizenz (Deutsch): | Es gilt das deutsche Urheberrecht: § 53 UrhG |
---|