Relative Equivalence in the Presence of Ambiguity

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39799-8_29 ◽

2013 ◽

pp. 430-446

Author(s):

Oshri Adler ◽

Cindy Eisner ◽

Tatyana Veksler

Download Full-text