A | |
---|---|
[ACH94] | Rajeev Alur, Costas Courcoubetis et Thomas A. Henzinger. The Observational Power of Clocks. In CONCUR'94, Lecture Notes in Computer Science 836, pages 162-177. Springer-Verlag, août 1994. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1