BibTeX Entry

Back to list

@inproceedings{Parosh:etal:abstraction,
  author	= {Abdulla, Parosh Aziz and Annichini, Aurore and Bensalem, Saddek and Bouajjani, Ahmed and Habermehl, Peter and Lakhnech, Yassine},
  title		= {Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis},
  booktitle	= {Proc. CAV '99-11th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {1633},
  pages		= {146--160},
  year		= {1999},
  URL		= {files/verification-of-infinite-state.ps}
}