| |
| 1994 | ||
|---|---|---|
| 3 | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper: An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV 1994: 142-155 | |
| 2 | Orna Bernholtz, Orna Grumberg: Buy One, Get One Free!!! ICTL 1994: 210-224 | |
| 1993 | ||
| 1 | Orna Bernholtz, Orna Grumberg: Branching Time Temporal Logic and Amorphous Tree Automata. CONCUR 1993: 262-277 | |
| 1 | Orna Grumberg | [1] [2] |
| 2 | Moshe Y. Vardi | [3] |
| 3 | Pierre Wolper | [3] |