On relaxing metric information in linear temporal logic (2011)

by Carlo A Furia, Paola Spoletini
Venue:In TIME