BibTeX Entry

Back to list

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