Logo des Repositoriums
 

Building A state-of-the-art model checker

dc.contributor.authorWolff, Sebastian
dc.contributor.editorCunningham, Douglas W.
dc.contributor.editorHofstedt, Petra
dc.contributor.editorMeer, Klaus
dc.contributor.editorSchmitt, Ingo
dc.date.accessioned2017-06-30T08:15:03Z
dc.date.available2017-06-30T08:15:03Z
dc.date.issued2015
dc.identifier.isbn978-3-88579-640-4
dc.identifier.pissn1617-5468
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2015
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-246
dc.titleBuilding A state-of-the-art model checkeren
dc.typeText/Conference Paper
gi.citation.endPage1828
gi.citation.publisherPlaceBonn
gi.citation.startPage1817
gi.conference.date28. September - 2. Oktober 2015
gi.conference.locationCottbus

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
1817.pdf
Größe:
125.79 KB
Format:
Adobe Portable Document Format