Orna Bernholtz

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). CAV (1994)
Orna Bernholtz, Orna Grumberg
Buy One, Get One Free!!! ICTL (1994)
Orna Bernholtz, Orna Grumberg
Branching Time Temporal Logic and Amorphous Tree Automata. CONCUR (1993)