BibTeX Entry

Back to list

@inproceedings{Parosh:aletta:TPN:LTL,
  author	= {Abdulla, Parosh Aziz and Nyl{\'e}n, Aletta},
  title		= {Undecidability of {LTL} for Timed Petri Nets},
  booktitle	= {Proc. 4th Int. Workshop on Verification of Infinite-State Systems},
  year		= {2002},
  URL		= {files/tpnundec.ps}
}