BibTeX Entry

Back to list

@inproceedings{Parosh:etal:global,
  author	= {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Jonsson, Bengt and Nilsson, Marcus},
  title		= {Handling Global Conditions in Parameterized System Verification},
  booktitle	= {Proc. CAV '99-11th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {1633},
  pages		= {134--145},
  year		= {1999},
  URL		= {files/global.ps}
}