%0 Conference Paper %1 conf/mmb/MartinezH06 %A Martínez, José %A Haverkort, Boudewijn R. %B MMB %D 2006 %E German, Reinhard %E Heindl, Armin %I VDE Verlag %K dblp %P 265-282 %T CSL model checking of Deterministic and Stochastic Petri Nets. %U http://dblp.uni-trier.de/db/conf/mmb/mmb2006.html#MartinezH06 %@ 978-3-8007-2945-6

@inproceedings{conf/mmb/MartinezH06, added-at = {2008-06-25T00:00:00.000+0200}, author = {Martínez, José and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/2bec9d0021abee126e72b5ac741ab9648/dblp}, booktitle = {MMB}, crossref = {conf/mmb/2006}, editor = {German, Reinhard and Heindl, Armin}, interhash = {95ebd69eacd64ea3ff5e3fb7a93b138f}, intrahash = {bec9d0021abee126e72b5ac741ab9648}, isbn = {978-3-8007-2945-6}, keywords = {dblp}, pages = {265-282}, publisher = {VDE Verlag}, timestamp = {2013-12-10T11:40:38.000+0100}, title = {CSL model checking of Deterministic and Stochastic Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/mmb/mmb2006.html#MartinezH06}, year = 2006 }