BibTeX Entry

Back to list

@misc{Parosh:Grenoble,
  author	= {Abdulla, Parosh Aziz},
  title		= {Model Checking through Constraint Solving},
  note		= {Invited contribution for the {G}renoble-{A}lpe d'{H}uez European School of Computer Science - Methods and Tools for the Verification of Infinite State Systems},
  year		= {1997},
}