@inproceedings{HK12b,
  author    = {S. Halamish and O. Kupferman},
  title     = {Approximating Deterministic Lattice Automata},
  booktitle = atva12,
  pages     = {27--41},
  series    = lncs,
  volume    = {7561},
  publisher = springer,
  year      = {2012}
}