|
СТ |
Extending Promela and Spin for Real Time |
1996 |
Tripakis S., Courcoubetis C. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
The Observational Power of Clocks |
1994 |
Alur R., Courcoubetis C., Henzinger T. A. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems |
1993 |
Alur R., Courcoubetis C., Henzinger T. A., Ho P. -H. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
Verification with Real-Time COSPAN |
1993 |
Courcoubetis C., Dill D., Chatzaki M., Tzounakis P. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |
|
СТ |
Minimization of Timed Transition Systems |
1992 |
Alur R., Courcoubetis C., Halbwachs N., Dill D., Wong-Toi H. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Verifying Automata Specifications of Probabilistic Real-time Systems |
1992 |
Alur R., Courcoubetis C., Dill D. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Model-checking for Probabilistic Real-time Systems |
1991 |
Alur R., Courcoubetis C., Dill D. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
