![](/img/cover-not-exists.png)
[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Reachability Games on Recursive Hybrid Automata
Krishna, Shankara Narayanan, Manasa, Lakshmi, Trivedi, AshutoshYear:
2015
Language:
english
DOI:
10.1109/time.2015.27
File:
PDF, 708 KB
english, 2015