BibTeX Entry

Back to list

@inproceedings{TPN:forward,
  author	= {Abdulla, P. A. and Deneux, J. and Mahata, P. and Nyl{\'e}n, A.},
  title		= {Forward Reachability Analysis of Timed Petri Nets},
  booktitle	= {Proc. FORMATS-FTRTFT '04},
  series	= {Lecture Notes in Computer Science},
  volume	= {3253},
  pages		= {343--362},
  year		= {2004},
  URL		= {files/dlg.ps}
}