@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={}
}