BibTeX Entry

Back to list

@techreport{it:2006-052,
  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)},
  institution	= {Dept. of Information Technology, Uppsala University, Sweden},
  year		= {2006},
  number	= {2006-052},
  month		= dec,
  URL		= {files/it_2006-052.ps}
}