Lattice automata, in (2007)

by O Kupferman, Y Lustig
Venue:Proceedings of VWCAI2007, Lecture Notes in Computer Science 4349