BibTeX Entry

Back to list

@inproceedings{rmc:survey,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Nilsson, Marcus and Saksena, Mayank},
  title		= {A Survey of Regular Model Checking},
  booktitle	= {Proc. CONCUR 2004-15th Int. Conf. on Concurrency Theory},
  series	= {Lecture Notes in Computer Science},
  volume	= {3170},
  year		= {2004},
  pages		= {348--360},
  URL		= {files/rmc_survey.ps}
}