Towards certified model checking for PLTL using one-pass tableaux
ISSN: 1868-8969
ISBN: 9783959771276
Année de publication: 2019
Volumen: 147
Pages: 121-1218
Type: Communication dans un congrès
ISSN: 1868-8969
ISBN: 9783959771276
Année de publication: 2019
Volumen: 147
Pages: 121-1218
Type: Communication dans un congrès