![](/img/cover-not-exists.png)
[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Bersani, Marcello M., Rossi, Matteo, San Pietro, PierluigiYear:
2013
Language:
english
DOI:
10.1109/time.2013.20
File:
PDF, 513 KB
english, 2013