A | |
---|---|
[ALP04] | Rajeev Alur, Salvatore La Torre, and George J. Pappas. Optimal paths in weighted timed automata. Theoretical Computer Science 318(3):297-322. Elsevier, June 2004. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
A | |
---|---|
[ALP04] | Rajeev Alur, Salvatore La Torre, and George J. Pappas. Optimal paths in weighted timed automata. Theoretical Computer Science 318(3):297-322. Elsevier, June 2004. |