Joël Ouaknine, James Worrell
On Metric Temporal Logic and Faulty Turing Machines
FoSSaCS, 2006.
@inproceedings{FoSSaCS-2006-OuaknineW,
author = "Joël Ouaknine and James Worrell",
booktitle = "{Proceedings of the Ninth International Conference on Foundations of Software Science and Computation Structures}",
doi = "10.1007/11690634_15",
isbn = "3-540-33045-3",
pages = "217--230",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On Metric Temporal Logic and Faulty Turing Machines}",
volume = 3921,
year = 2006,
}