BibTeX Entry

Back to list

@inproceedings{BouajjaniJNT00,
  author	= {Bouajjani, Ahmed and Jonsson, Bengt and Nilsson, Marcus and Touili, Tayssir},
  title		= {Regular Model Checking.},
  booktitle	= {Proc. CAV '00-12th Int. Conf. on Computer Aided Verification},
  year		= {2000},
  pages		= {403--418},
  URL		= {files/bouajjani00regular.ps}
}