Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikation: Zeitschriftenartikel

Explizites model checking


Grunddaten

Titel Explizites model checking
Untertitel welche Vorteile bieten Petrinetze?
Veröffentlicht in Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. - Berlin : Springer
Erscheinungsjahr 2014
Seiten (von – bis) 220 – 228
Band 37
Heft-Nr. 3
Jahr 2014
Publikationsform Druckschrift
Publikationsart Zeitschriftenartikel
Sprache Deutsch
Letzte Änderung 16.05.2019 22:39:48
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/45099
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autor

Wolf, Karsten Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Bereich Informatik