Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

A History-based Verification of Distributed Applications.

VERIFY. 2007

Erscheinungsjahr: 2007

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Website
Geprüft:Bibliothek

Autoren


Langenstein, Bruno (Autor)
Nonnengart, Andreas (Autor)
Stephan, Werner (Autor)

Verknüpfte Personen


Georg Rock

Beteiligte Einrichtungen