Logo des Repositoriums
 

Distributed verification with LoLa

Kurzanzeige
dc.contributor.authorSchmidt, Karsten
dc.contributor.editorDesel, Jörg
dc.contributor.editorWeske, Mathias
dc.date.accessioned2019-11-14T12:47:26Z
dc.date.available2019-11-14T12:47:26Z
dc.date.issued2002
dc.identifier.isbn3-88579-350-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30158
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofPromise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-21
dc.titleDistributed verification with LoLaen
dc.typeText/Conference Paper
gi.citation.endPage103
gi.citation.publisherPlaceBonn
gi.citation.startPage94
gi.conference.date9.-11. Oktober 2002
gi.conference.locationPotsdam
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.21-10.pdf
Größe:
203.39 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P021 - Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen