![](/img/cover-not-exists.png)
[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - A Metric Temporal Logic for Dealing with Zero-Time Transitions
Ferrucci, Luca, Mandrioli, Dino, Morzenti, Angelo, Rossi, MatteoYear:
2012
Language:
english
DOI:
10.1109/TIME.2012.22
File:
PDF, 238 KB
english, 2012