%0 Conference Paper %1 conf/qest/MartinezH06 %A Martínez, José M. %A Haverkort, Boudewijn R. %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 133-134 %T MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#MartinezH06 %@ 0-7695-2665-9

@inproceedings{conf/qest/MartinezH06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Martínez, José M. and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/24ac3074cc3e4462e767a59a1a803f9a1/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2006.29}, interhash = {f1449073dbd035fad8cfdf86343a91f3}, intrahash = {4ac3074cc3e4462e767a59a1a803f9a1}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {133-134}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:58.000+0200}, title = {MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#MartinezH06}, year = 2006 }