B | |
---|---|
[BBB+09] | Christel Baier, Nathalie Bertrand, Patricia Bouyer, and Thomas Brihaye. When are timed automata determinizable?. In ICALP'09, Lecture Notes in Computer Science 5556, pages 43-54. Springer-Verlag, July 2009. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1