BibTeX Entry

Back to list

@inproceedings{AJNO:simple,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Nilsson, Marcus and {d'Orso}, Julien},
  title		= {Regular Model Checking Made Simple and Efficient},
  booktitle	= {Proc. CONCUR 2000-12th Int. Conf. on Concurrency Theory},
  series	= {Lecture Notes in Computer Science},
  volume	= {2421},
  pages		= {116--130},
  year		= {2002},
  URL		= {files/simple.ps}
}