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  node1  Trennstrich  Switch to english language

Publikation: Teil einer Monographie/eines Konferenzbandes

Presentation of the 9th edition of the model checking contest


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 Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Amparore, Elvio
Berthomieu, Bernard
Ciardo, Gianfranco
Liebke, Torsten
Wolf, Karsten Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Bereich Informatik