A | |
---|---|
[ACH97] | Rajeev Alur,
Costas Courcoubetis et
Thomas A. Henzinger.
Computing Accumulated Delays in Real Time Systems.
Formal Methods in System Design 11(2):137-155. Kluwer Academic, août 1997.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1