Towards certified model checking for PLTL using one-pass tableaux
ISSN: 1868-8969
ISBN: 9783959771276
Datum der Publikation: 2019
Ausgabe: 147
Seiten: 121-1218
Art: Konferenz-Beitrag
ISSN: 1868-8969
ISBN: 9783959771276
Datum der Publikation: 2019
Ausgabe: 147
Seiten: 121-1218
Art: Konferenz-Beitrag