Towards Relaxing Metric Information in Linear Temporal Logic

Carlo A. Furia, Paola Spoletini. Towards Relaxing Metric Information in Linear Temporal Logic. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 121-124, 2009.

Abstract

Abstract is missing.