BibTeX Entry

Back to list

@inproceedings{Parosh:Aletta:BQO,
  author	= {Abdulla, Parosh Aziz and Nyl{\'e}n, Aletta},
  title		= {Better is Better than Well: On Efficient Verification of Infinite-State Systems},
  booktitle	= {Proc. LICS '00-15th IEEE Int. Symp. on Logic in Computer Science},
  pages		= {132--140},
  year		= {2000},
  URL		= {files/bqo.ps}
}