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.
@inproceedings{FuriaS09,
title = {Towards Relaxing Metric Information in Linear Temporal Logic},
author = {Carlo A. Furia and Paola Spoletini},
year = {2009},
researchr = {https://researchr.org/publication/FuriaS09},
cites = {0},
citedby = {0},
pages = {121-124},
booktitle = {Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings},
editor = {Alessandra Cherubini and Mario Coppo and Giuseppe Persiano},
}