BibTeX Entry

Back to list

@techreport{Parosh:etal:TPN:report,
  author	= {Abdulla, Parosh Aziz and Deneux, Johann and Mahata, Pritha and Nyl{\'e}n, Aletta},
  title		= {Forward Reachability Analysis of Timed Petri Nets},
  institution	= {Dept. of Information Technology, Uppsala University, Sweden},
  year		= {2003},
  number	= {2003-056},
  URL		= {files/2003-056.ps}
}