Towards certified model checking for PLTL using one-pass tableaux
ISSN: 1868-8969
ISBN: 9783959771276
Argitalpen urtea: 2019
Alea: 147
Orrialdeak: 121-1218
Mota: Biltzar ekarpena
ISSN: 1868-8969
ISBN: 9783959771276
Argitalpen urtea: 2019
Alea: 147
Orrialdeak: 121-1218
Mota: Biltzar ekarpena