BibTeX Entry

Back to list

@misc{parosh:etal:Dagstuhl,
  author	= {Abdulla, Parosh Aziz and Baier, Christel and Iyer, Purushothaman and Jonsson, Bengt},
  title		= {Software Verification: {IN}finite-State Model Checking and Static Program Analysis},
  year		= {2006},
  note		= {Dagstuhl seminar series},
}