@Inproceedings{EPTCS14.4, author = {Ballarini, Paolo and Forlin, Michele and Mazza, Tommaso and Prandi, Davide}, year = {2009}, title = {Efficient Parallel Statistical Model Checking of Biochemical Networks}, editor = {Brim, Lubos and van de Pol, Jaco}, booktitle = {{\rm Proceedings 8th International Workshop on} Parallel and Distributed Methods in verifiCation, {\rm Eindhoven, The Netherlands, 4th November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {14}, publisher = {Open Publishing Association}, pages = {47-61}, doi = {10.4204/EPTCS.14.4}, }