%0 Conference Paper %1 conf/mmb/MartinezH06 %A Martínez, José M. %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 = {2016-09-12T00:00:00.000+0200}, author = {Martínez, José M. and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/2b07d32d85d08fd1ac85e5a2ee12f28f6/dblp}, booktitle = {MMB}, crossref = {conf/mmb/2006}, editor = {German, Reinhard and Heindl, Armin}, interhash = {95ebd69eacd64ea3ff5e3fb7a93b138f}, intrahash = {b07d32d85d08fd1ac85e5a2ee12f28f6}, isbn = {978-3-8007-2945-6}, keywords = {dblp}, pages = {265-282}, publisher = {VDE Verlag}, timestamp = {2016-09-13T19:57:00.000+0200}, title = {CSL model checking of Deterministic and Stochastic Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/mmb/mmb2006.html#MartinezH06}, year = 2006 }