Time Petri Nets Analysis with TINA. Berthomieu, B. & Vernadat, F. In QEST, pages 123-124, 2006. IEEE Computer Society.
Time Petri Nets Analysis with TINA. [link]Link  Time Petri Nets Analysis with TINA. [link]Paper  bibtex   
@inproceedings{ conf/qest/BerthomieuV06,
  added-at = {2014-08-08T00:00:00.000+0200},
  author = {Berthomieu, Bernard and Vernadat, François},
  biburl = {http://www.bibsonomy.org/bibtex/2769a97320f6d323ada5bafd997b4fb1e/dblp},
  booktitle = {QEST},
  crossref = {conf/qest/2006},
  ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.56},
  interhash = {971e223923397b18fbe47570302e3059},
  intrahash = {769a97320f6d323ada5bafd997b4fb1e},
  isbn = {0-7695-2665-9},
  keywords = {dblp},
  pages = {123-124},
  publisher = {IEEE Computer Society},
  title = {Time Petri Nets Analysis with TINA.},
  url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BerthomieuV06},
  year = {2006}
}

Downloads: 0