Time Petri Nets Analysis with TINA. Berthomieu, B. & Vernadat, F. In QEST, pages 123-124, 2006. IEEE Computer Society.
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
{"_id":"hsWeSJXssNutpRtiy","bibbaseid":"berthomieu-vernadat-timepetrinetsanalysiswithtina-2006","downloads":0,"creationDate":"2015-05-07T12:05:14.649Z","title":"Time Petri Nets Analysis with TINA.","author_short":["Berthomieu, B.","Vernadat, F."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/bernard?items=1000","bibdata":{"added-at":"2014-08-08T00:00:00.000+0200","author":["Berthomieu, Bernard","Vernadat, François"],"author_short":["Berthomieu, B.","Vernadat, F."],"bibtex":"@inproceedings{ conf/qest/BerthomieuV06,\n added-at = {2014-08-08T00:00:00.000+0200},\n author = {Berthomieu, Bernard and Vernadat, François},\n biburl = {http://www.bibsonomy.org/bibtex/2769a97320f6d323ada5bafd997b4fb1e/dblp},\n booktitle = {QEST},\n crossref = {conf/qest/2006},\n ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.56},\n interhash = {971e223923397b18fbe47570302e3059},\n intrahash = {769a97320f6d323ada5bafd997b4fb1e},\n isbn = {0-7695-2665-9},\n keywords = {dblp},\n pages = {123-124},\n publisher = {IEEE Computer Society},\n title = {Time Petri Nets Analysis with TINA.},\n url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BerthomieuV06},\n year = {2006}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/2769a97320f6d323ada5bafd997b4fb1e/dblp","booktitle":"QEST","crossref":"conf/qest/2006","ee":"http://doi.ieeecomputersociety.org/10.1109/QEST.2006.56","id":"conf/qest/BerthomieuV06","interhash":"971e223923397b18fbe47570302e3059","intrahash":"769a97320f6d323ada5bafd997b4fb1e","isbn":"0-7695-2665-9","key":"conf/qest/BerthomieuV06","keywords":"dblp","pages":"123-124","publisher":"IEEE Computer Society","title":"Time Petri Nets Analysis with TINA.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BerthomieuV06","year":"2006","bibbaseid":"berthomieu-vernadat-timepetrinetsanalysiswithtina-2006","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/QEST.2006.56","Paper":"http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BerthomieuV06"},"keyword":["dblp"],"downloads":0},"search_terms":["time","petri","nets","analysis","tina","berthomieu","vernadat"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wvAhRjakvxMweG8ZA"]}