Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.

Tristan Le Gall Bertrand Jeannet Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. 52-68 2007 conf/sas/2007 SAS http://dx.doi.org/10.1007/978-3-540-74061-2_4 db/conf/sas/sas2007.html#GallJ07