Konferenzbeitrag
Distributed verification with LoLa
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2002
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.