| Titel: | From ProCoS to Space and Mental Models A Survey of Combining Formal and Semi-formal Methods | Autorenschaft: | Buth, Bettina | Herausgeber*In: | Hinche, M. Bowen, J. Olderog, E.-R. |
Erscheinungsdatum: | 2017 | Verlag: | Springer | URI: | http://hdl.handle.net/20.500.12738/88 | Einrichtung: | Department Informatik Fakultät Technik und Informatik |
Dokumenttyp: | Kapitel (Buch) |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.