logo
BibTeX Entry


@inproceedings{JonssonS07,
  author	= {Jonsson, Bengt and Saksena, Mayank},
  title		= {Systematic Acceleration in Regular Model Checking},
  booktitle	= {Proc. CAV '07-19th Int. Conf. on Computer Aided Verification},
  year		= {2007},
  series	= {Lecture Notes in Computer Science},
  publisher	= {Springer Verlag},
}