Towards certified model checking for PLTL using one-pass tableaux
ISSN: 1868-8969
ISBN: 9783959771276
Year of publication: 2019
Volume: 147
Pages: 121-1218
Type: Conference paper
ISSN: 1868-8969
ISBN: 9783959771276
Year of publication: 2019
Volume: 147
Pages: 121-1218
Type: Conference paper