Masahiro Higuchi;Osamu Shirakawa;Hiroyuki Seki;Mamoru Fujii;Tadao Kasami
-;-;-;-;-
Lattice automata: a representation for languages on infinite alphabets, and some applications to verification
SAS'07 Proceedings of the 14th international conference on Static Analysis