[IEEE 2015 22nd International Symposium on Temporal...

  • Main
  • [IEEE 2015 22nd International Symposium...

[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, Ashutosh
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2015
Language:
english
DOI:
10.1109/time.2015.27
File:
PDF, 708 KB
english, 2015
Conversion to is in progress
Conversion to is failed