@InProceedings{FS11-TIME11, author = {Carlo A. Furia and Paola Spoletini}, title = {On Relaxing Metric Information in Linear Temporal Logic}, booktitle = {Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME'11)}, editor = {Carlo Combi and Martin Leucker and Frank Wolter}, pages = {72--79}, year = {2011}, month = {September}, publisher = {IEEE Computer Society}, urltopdf = {http://se.inf.ethz.ch/people/furia/pubs/time11.pdf} }