%0 Conference Paper %1 conf/qest/CerottiDHS06 %A Cerotti, Davide %A Donatelli, Susanna %A Horváth, András %A Sproston, Jeremy %B QEST %D 2006 %I IEEE Computer Society %K dblp %P 199-210 %T CSL Model Checking for Generalized Stochastic Petri Nets. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#CerottiDHS06 %@ 0-7695-2665-9

@inproceedings{conf/qest/CerottiDHS06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Cerotti, Davide and Donatelli, Susanna and Horváth, András and Sproston, Jeremy}, biburl = {https://www.bibsonomy.org/bibtex/21aa33fba793762937810720048e07e7f/dblp}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {https://www.wikidata.org/entity/Q62037307}, interhash = {0de8c89ddb269a1d9415a27179d2451b}, intrahash = {1aa33fba793762937810720048e07e7f}, isbn = {0-7695-2665-9}, keywords = {dblp}, pages = {199-210}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:58.000+0200}, title = {CSL Model Checking for Generalized Stochastic Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#CerottiDHS06}, year = 2006 }