A | |
---|---|
[ABG+08] | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund et K. Narayan Kumar. Distributed Timed Automata with Independently Evolving Clocks. In CONCUR'08, Lecture Notes in Computer Science 5201, pages 82-97. Springer-Verlag, août 2008. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1
- 1