BibTeX Entry

Back to list

@inproceedings{TPN:zeno,
  author	= {Abdulla, Parosh Aziz and Mahata, Pritha and Mayr, Richard},
  title		= {Zenoness, Token-Liveness and Boundedness for Timed Petri Nets},
  booktitle	= {Proc. FSTTCS '04-24-th Conf. on Foundations of Software Technology and Theoretical Computer Science},
  series	= {Lecture Notes in Computer Science},
  volume	= {3328},
  pages		= {59--71},
  year		= {2004},
  URL		= {files/fsttcs05.ps}
}