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
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen
Publikation: Teil einer Monographie/eines Konferenzbandes
Presentation of the 9th edition of the model checking contest
Grunddaten
Autoren
Einrichtung
Grunddaten
Titel
Presentation of the 9th edition of the model checking contest
Erscheinungsjahr
2019
Seiten (von – bis)
50 – 68
Jahr
2019
Publikationsform
Elektronische Ressource
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
DOI
10.1007/978-3-030-17502-3_4
Letzte Änderung
12.06.2020 06:04:35
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/63698
Links zu Katalogen
Autoren
Amparore, Elvio
Berthomieu, Bernard
Ciardo, Gianfranco
Liebke, Torsten
Wolf, Karsten
Einrichtung
IEF/Bereich Informatik