BibTeX Entry

Back to list

@inproceedings{Parosh:bengt:CAV00,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  title		= {Model Checking of Infinite-State Systems},
  booktitle	= {Proc. CAV '00-12th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  publisher	= {Springer Verlag},
  volume	= {1855},
  note		= {Invited Contribution},
  year		= {2000},
  URL		= {files/cav00.ps}
}