@string{weizmann="Weizmann Institute of Science"}
@PhdThesis{Pit04,
   author = {N. Piterman},
   title = {Verification of Infinite-State Systems},
   school = weizmann,
   year = {2004},
   url = {2004/phdthesis.html},
   pdf = {2004/phdthesis.pdf},
  keywords = {Model Checking,Automata},
}