Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. In Vittorio Bilò, Antonio Caruso, editors, Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016. Volume 1720 of CEUR Workshop Proceedings, pages 49-61, CEUR-WS.org, 2016. [doi]