Equivalence of Extended Symbolic Finite Transducers.

Loris D'Antoni, Margus Veanes

Browse the full CAV paper archive.