A | |
---|---|
[ABM04] | Rajeev Alur, Mikhail Bernadsky, and Parthasarathy Madhusudan. Optimal Reachability for Weighted Timed Games. In ICALP'04, Lecture Notes in Computer Science, pages 122-133. Springer-Verlag, 2004. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1