@string{jun="June"}
@string{ieee="IEEE"}
@string{ieeepress="© IEEE press"}
@InProceedings{PV03a,
  author = 	 {N. Piterman and M.Y. Vardi},
  title = 	 {Micro-Macro Stack Systems:
A New Frontier of Elementary Decidability for Sequential Systems},
  booktitle = 	 {18th IEEE Symposium on Logic in Computer Science},
  pages = 	 {381-390},
  year = 	 {2003},
  address = 	 {Ottawa, Canada},
  month = 	 jun,
  organization = ieee,
  publisher = ieeepress,
  url =          {2003/PV03a.html},
  pdf = {2003/PV03a.pdf},
  keywords = {Model Checking,Automata},
}