Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio. Towards Certified Model Checking for PLTL Using One-Pass Tableaux. In Johann Gamper, Sophie Pinchinat, Guido Sciavicco, editors, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Volume 147 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
@inproceedings{AbuinBDHL19,
title = {Towards Certified Model Checking for PLTL Using One-Pass Tableaux},
author = {Alex Abuin and Alexander Bolotov and Unai Díaz-de-Cerio and Montserrat Hermo and Paqui Lucio},
year = {2019},
doi = {10.4230/LIPIcs.TIME.2019.12},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.12},
researchr = {https://researchr.org/publication/AbuinBDHL19},
cites = {0},
citedby = {0},
booktitle = {26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain},
editor = {Johann Gamper and Sophie Pinchinat and Guido Sciavicco},
volume = {147},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-127-6},
}