@InProceedings{CDDS06, author={D. Cerotti and D. D'Aprile and S. Donatelli and J. Sproston}, title={Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools}, booktitle={Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06)}, year={2006}, editor={}, pages={}, organization={}, publisher={IEEE Computer Society Press}, series={}, volume={}, address={}, month={}, note={}, key={} }