B | |
---|---|
[BHP+07] | Thomas Brihaye,
Thomas A. Henzinger,
Vinayak S. Prabhu, and
Jean-François Raskin.
Minimum-Time Reachability in Timed Games.
In ICALP'07,
Lecture Notes in Computer Science 4596, pages 825-837. Springer-Verlag, July 2007.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1