logo
BibTeX Entry


@techreport{Parosh:etal:Unfolding:Bool:SAT,
  author	= {Abdulla, Parosh Aziz and Nyl{\'e}n, Aletta and {d'Orso}, Julien},
  title		= {{SAT}-Based Analysis of Symbolic Unfoldings},
  institution	= {Department of Information Technology, Uppsala University},
  year		= {2001},
}