Model Checking Timeline-Based Systems over Dense Temporal Domains

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron. Model Checking Timeline-Based Systems over Dense Temporal Domains. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 235-247, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.