BibTeX Entry

Back to list

@inproceedings{Parosh:etal:Unfolding,
  author	= {Abdulla, Parosh Aziz and Iyer, Purushothaman and Nyl{\'e}n, Aletta},
  title		= {Unfoldings of Unbounded Petri Nets},
  booktitle	= {Proc. 12th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {1855},
  pages		= {495--507},
  year		= {2000},
  URL		= {files/unfoldings.ps}
}