Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. In Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen, editors, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India. Volume 65 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{BozzelliMMPS16-1,
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison},
author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala},
year = {2016},
doi = {10.4230/LIPIcs.FSTTCS.2016.26},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.26},
researchr = {https://researchr.org/publication/BozzelliMMPS16-1},
cites = {0},
citedby = {0},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India},
editor = {Akash Lal and S. Akshay and Saket Saurabh and Sandeep Sen},
volume = {65},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-027-9},
}