![](/img/cover-not-exists.png)
A game approach to determinize timed automata
Bertrand, Nathalie, Stainer, Amélie, Jéron, Thierry, Krichen, MoezVolume:
46
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-014-0220-1
Date:
February, 2015
File:
PDF, 875 KB
english, 2015