| Title: | From ProCoS to Space and Mental Models A Survey of Combining Formal and Semi-formal Methods |
| Authors: | Buth, Bettina |
| Editor: | Hinche, M. Bowen, J. Olderog, E.-R. |
| Issue Date: | 2017 |
| Publisher: | Springer |
| URI: | http://hdl.handle.net/20.500.12738/88 |
| Institute: | Department Informatik Fakultät Technik und Informatik |
| Type: | Chapter (Book) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.