BibTeX Entry

Back to list

@inproceedings{AJNOS04,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt and Nilsson, Marcus and {d'Orso}, Julien and Saksena, Mayank},
  title		= {Regular Model Checking for {S1S} + {LTL}},
  booktitle	= {Proc. CAV '04-16th Int. Conf. on Computer Aided Verification},
  address	= {Boston},
  series	= {Lecture Notes in Computer Science},
  publisher	= {Springer Verlag},
  month		= jul,
  pages		= {348--360},
  year		= {2004},
  URL		= {files/rmc_logic.ps}
}