Orna Bernholtz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1993–1994
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CAV | An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
| 1993 | CONCUR | Branching Time Temporal Logic and Amorphous Tree Automata. | Orna Bernholtz, Orna Grumberg |