%  series    = {Lecture Notes in Computer Science},
@inproceedings{Var07a,
  author    = {M.Y. Vardi},
  title     = {Automata-theoretic model checking revisited},
  year      = {2007},
  pages     = {137--150},
  booktitle = {Proc. 7th Int'l Conf. on Verification, Model Checking,
              and Abstract Interpretation},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4349}
}