|
СТ |
Resets vs. Aborts in Linear Temporal Logic |
2003 |
Armoni R., Bustan D., Kupferman O., Vardi M. Y. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Model Checking of Safety Properties |
1999 |
Kupferman O., Vardi M. Y. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Alternating-Time Temporal Logic |
1998 |
Alur R., Henzinger T. A., Kupferman O. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
Modular Model Checking |
1998 |
Kupferman O., Vardi M. Y. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
From Pre-historic to Post-modern Symbolic Model Checking |
1998 |
Henzinger T. A., Kupferman O., Qadeer S. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
|
СТ |
Existence of Reduction Hierachies |
1998 |
Kupferman O., Kurshan R. P., Yannakakis M. |
|
|
|
Lecture Notes in Computer Science |
19.06.1998 |
|
СТ |
On the Complexity of Branching Modular Model Checking (Extended Abstract) |
1995 |
Kupferman O., Vardi M. Y. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions |
1995 |
Kupferman O. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
