BibTeX Entry

Back to list

@techreport{Parosh:etal:Unfolding:SAT,
  author	= {Abdulla, Parosh Aziz and Iyer, Purushothaman and Nyl{\'e}n, Aletta},
  title		= {{SAT}-solving the Coverability Problem for Unbounded Petri Net},
  institution	= {Dept. of Information Technology, Uppsala University, Sweden},
  year		= {2000},
  URL		= {files/UnfoldingSAT.ps}
}