BibTeX Entry

Back to list

@inproceedings{AJNO:algorithmic,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Nilsson, Marcus and {d'Orso}, Julien},
  title		= {Algorithmic Improvements in Regular Model Checking.},
  booktitle	= {Proc. CAV '03-15th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {2725},
  pages		= {236--248},
  year		= {2003},
  URL		= {files/cav03.ps}
}