BibTeX Entry

Back to list

@article{Parosh:Bengt:tutorial,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Ensuring Completeness of Symbolic Verification Methods for Infinite-State Systems},
  journal	= {Theoretical Computer Science},
  volume	= {256},
  year		= {2001},
  pages		= {145--167},
  URL		= {files/completeness.ps}
}