Show simple item record

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.issn1617-5468
dc.identifier.urihttp://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
dc.pubPlaceBonn
mci.reference.pages94-103
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationPotsdam
mci.conference.date9.-11. Oktober 2002


Files in this item

Thumbnail

Show simple item record