СТ |
Translating Software Designs for Model Checking |
2004 |
Xie F., Levin V., Kurshan R. P., Browne J. C. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
СТ |
Existence of Reduction Hierachies |
1998 |
Kupferman O., Kurshan R. P., Yannakakis M. |
|
|
|
Lecture Notes in Computer Science |
19.06.1998 |
СТ |
Modelling Asynchrony with a Synchronous Model |
1995 |
Kurshan R. P., Merritt M., Orda A., Sachs S. R. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
СТ |
How Linear Can Branching-time Be? |
1994 |
Grumberg O., Kurshan R. P. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
СТ |
Models Whose Checks Don t Explode |
1994 |
Kurshan R. P. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
СТ |
A Structural Linearization Principle for Processes |
1993 |
Kurshan R. P., Merritt M., Orda A., Sachs S. R. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |