|
СТ |
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 |
|
СТ |
Equivalence for Fair Kripke Structures |
1994 |
Aziz A., Singhal V., Balarin F. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
|
СТ |
The Verification Problem for Safe Replaceability |
1994 |
Singhal V., Pixley C. |
|
|
|
Lecture Notes in Computer Science |
28.07.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 |
|
СТ |
Scalable Software Libraries |
1993 |
Batory D., Singhal V., Sirkin M., Thomas J. |
|
|
|
Software Engineering Notes |
12.04.1994 |
