BibTeX Entry

Back to list

@inproceedings{AJNOS:logic,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Nilsson, Marcus and d'Orso, Julien and Saksena, Mayank},
  title		= {Regular Model Checking for {LTL(MSO)}},
  booktitle	= {Proc. CAV '04-16th Int. Conf. on Computer Aided Verification},
  year		= {2004},
  pages		= {348--360},
  URL		= {files/rmc_logic.ps}
}