Minimization of Symbolic Transducers

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63390-9_10 ◽

2017 ◽

pp. 176-196 ◽

Author(s):

Olli Saarikivi ◽

Margus Veanes

Download Full-text