СТ |
It Usually Works: The Temporal Logic of Stochastic Systems |
1995 |
Aziz A., Singhal V., Balarin F., Brayton R. K., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
СТ |
Supervisory Control of Finite State Machines |
1995 |
Aziz A., Balarin F., Brayton R. K., Dibenedetto M. D., Saldanha A., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
СТ |
Equivalence for Fair Kripke Structures |
1994 |
Aziz A., Singhal V., Balarin F. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
СТ |
Formula-Dependent Equivalence for Compositional CTL Model Checking |
1994 |
Aziz A., Shiple T. R., Singhal V., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |