Towards certified model checking for PLTL using one-pass tableaux
ISSN: 1868-8969
ISBN: 9783959771276
Año de publicación: 2019
Volumen: 147
Páginas: 121-1218
Tipo: Aportación congreso
ISSN: 1868-8969
ISBN: 9783959771276
Año de publicación: 2019
Volumen: 147
Páginas: 121-1218
Tipo: Aportación congreso