Ofer Ben-Shachar

Publication Activity (10 Years)

Years Active: 1986-1988
Publications (10 Years): 0

Publications

David B. Benson, Ofer Ben-Shachar
Bisimulation of Automata Inf. Comput. 79 (1) (1988)
David B. Benson, Ofer Ben-Shachar
Strong Bisimulation of State Automata LICS (1986)