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
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikation: Zeitschriftenartikel
Explizites model checking
Grunddaten
Autoren
Einrichtung
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
Autor
Wolf, Karsten
Einrichtung
IEF/Bereich Informatik