@inproceedings{ddfdc798a5584184bce5b78a0a0ce8c0,
title = "A new metric temporal logic for hybrid systems",
author = "Mark Reynolds",
year = "2013",
doi = "10.1109/TIME.2013.17",
language = "English",
isbn = "9780769551128",
volume = "1",
pages = "73--80",
booktitle = "TIME'13 20th International Symposium on Temporal Representation and Reasoning",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
address = "United States",
note = "TIME'13 20th International Symposium on Temporal Representation and Reasoning ; Conference date: 26-09-2013 Through 28-09-2013",
}