A History-based Verification of Distributed Applications.
VERIFY. 2007
Erscheinungsjahr: 2007
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
| Geprüft: | Bibliothek |
Autoren
Langenstein, Bruno (Autor)
Nonnengart, Andreas (Autor)
Stephan, Werner (Autor)
