BibTeX Entry

Back to list

@article{Parosh:etal:satsolving,
  author	= {Abdulla, Parosh Aziz and Iyer, S. Purushothaman and Nyl{\'e}n, Aletta},
  title		= {{SAT}-Solving the Coverability Problem for Petri Nets},
  journal	= {Formal Methods in System Design},
  volume	= {24},
  number	= {1},
  year		= {2004},
  pages		= {25--43},
  URL		= {files/unfoldings.ps}
}