TU Darmstadt / ULB / TUbiblio

FRed: Conditional Model Checking via Reducers and Folders

Beyer, Dirk ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
FRed: Conditional Model Checking via Reducers and Folders.
virtual Conference (14.-18.09)
doi: 10.1007/978-3-030-58768-0_7
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2020
Herausgeber: de Boer, Frank S. ; Cerone, Antonio
Autor(en): Beyer, Dirk ; Jakobs, Marie-Christine
Art des Eintrags: Bibliographie
Titel: FRed: Conditional Model Checking via Reducers and Folders
Sprache: Englisch
Publikationsjahr: 2020
Verlag: Springer
Buchtitel: 18th International Conference on Software Engineering and Formal Methods (SEFM 2020)
Veranstaltungsort: virtual Conference
Veranstaltungsdatum: 14.-18.09
DOI: 10.1007/978-3-030-58768-0_7
Zusätzliche Informationen:

Also part of "Lecture Notes in Computer Science, Vol.12310"

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme
Hinterlegungsdatum: 23 Sep 2020 10:42
Letzte Änderung: 23 Sep 2020 10:42
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen