Konferenzbeitrag

Distributed verification with LoLa

Lade...
Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2002
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