A | |
---|---|
[ABG+08] | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, and K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks. In CONCUR'08, Lecture Notes in Computer Science 5201, pages 82-97. Springer-Verlag, August 2008. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1