Konferenzbeitrag

Distributed verification with LoLa

Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
GI-Proceedings.21-10.pdf (203.39 KB)
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.
Zusammenfassung
Beschreibung
Schmidt, Karsten (2002): Distributed verification with LoLa. Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-350-4. pp. 94-103. Regular Research Papers. Potsdam. 9.-11. Oktober 2002
Schlagwörter
Zitierform
DOI
Tags
Sammlungen
P021 - Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen