|
СТ |
Model-checking for Probabilistic Real-time Systems |
1991 |
Alur R., Courcoubetis C., Dill D. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
|
СТ |
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 |
|
СТ |
The Theory of Timed Automata |
1992 |
Alur R., Dill D. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Verifying Automata Specifications of Probabilistic Real-time Systems |
1992 |
Alur R., Courcoubetis C., Dill D. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Verification with Real-Time COSPAN |
1993 |
Courcoubetis C., Dill D., Chatzaki M., Tzounakis P. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |
