![]() |
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}, }