Verification of Distributed Applications.
SAFECOMP. 2007 S. 315 - 328
Erscheinungsjahr: 2007
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-540-75101-4_31
| Geprüft: | Bibliothek |
Autoren
Langenstein, Bruno (Autor)
Nonnengart, Andreas (Autor)
Stephan, Werner (Autor)
