BibTeX Entry

Back to list

@inproceedings{rmc:wo:transducers,
  author	= {Abdulla, Parosh Aziz and Henda, Noomene Ben and Delzanno, Giorgio and Rezine, Ahmed},
  title		= {Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems)},
  booktitle	= {Proc. TACAS '07-13th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems},
  year		= {2007},
  URL		= {files/rmc_wo_transducers.ps}
}