A | |
---|---|
[ALP01] | Rajeev Alur, Salvatore La Torre, and George J. Pappas. Optimal paths in weighted timed automata. In HSCC'01, Lecture Notes in Computer Science 2034, pages 49-62. Springer-Verlag, March 2001. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1