Compositional Concurrent Program Verification with RGITL
Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
- Link zu diesem Datensatz
- https://d-nb.info/1077704569
- Titel
- Compositional Concurrent Program Verification with RGITL
- Art des Inhalts
- Monographie
- Verfassangaben
- Bogdan Tofan. Betreuer: Wolfgang Reif
- Autor(en)
-
- Tofan, Bogdan
- Reif, Wolfgang
- Verlag
- Augsburg : Universität Augsburg [2014]
- Jahr
- Erscheinungsdatum: 2014
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-28555
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Augsburg, Universität Augsburg, Diss., 2014
- Stand
- 22.12.2025 07:06
- Im Katalog seit
- 06.03.2026