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]
No references recorded for this publication.
No citations of this publication recorded.