Metadaten| Author: | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
|---|
| URN: | urn:nbn:de:kola-1214 |
|---|
| Subtitle (English): | specification and model checking |
|---|
| Series (Serial Number): | Arbeitsberichte, FB Informatik (2007,14) |
|---|
| Document Type: | Part of Periodical |
|---|
| Language: | English |
|---|
| Date of Publication (online): | 2007/07/06 |
|---|
| Date of first Publication: | 2007/07/06 |
|---|
| Publishing Institution: | Universität Koblenz, Universitätsbibliothek |
|---|
| Release Date: | 2007/07/06 |
|---|
| Tag: | Multi-robot System; Multiagent System; UML |
|---|
| Page Number: | 14 |
|---|
| Institutes: | Fachbereich 4 / Fachbereich 4 |
|---|
| Fachbereich 4 / Institut für Informatik |
|---|
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
|---|
| Licence (German): | Es gilt das deutsche Urheberrecht: § 53 UrhG |
|---|