@inproceedings{GK15, author = "H. Gonen and O. Kupferman", title = "Inherent Vacuity in Lattice Automata", booktitle = "Proc. YURIFEST", series = lncs, volume = ?, publisher = springer, pages = ?, year = "2015" }