Automata Theoretic Approach to Infinite-State Systems

Kupferman, O.; Piterman, N.; Vardi, M.Y.

Automata Theoretic Approach to Infinite-State Systems (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InCollection{KPV10,
  author = 	 {O. Kupferman and N. Piterman and M.Y. Vardi},
  title = 	 {Automata Theoretic Approach to Infinite-State Systems},
  booktitle = 	 {Time for Verification: Essays in Memory of Amir Pnueli},
  pages = 	 {202-259},
  publisher = springer,
  year = 	 {2010},
  volume = 	 {6200},
  series = 	 lncs,
  pdf = 	 {2010/KPV10.pdf},
  url = 	 {2010/KPV10.html},
  keywords = {Model Checking,Automata},
}