Statistical model checking for complex stochastic models in systems biology

@techreport{DBLP:conf/cmsb/JhaCLLPZ09:TR,
	ref = {DBLP:conf/cmsb/JhaCLLPZ09},
	author = {['Sumit Kumar Jha', 'Edmund Clarke', 'Christopher Langmead', 'Axel Legay', 'André Platzer', 'Paolo Zuliani']},
	title = {Statistical Model Checking for Complex
               Stochastic Models in Systems Biology},
	number = {CMU-CS-09-110},
	year = {2009},
	month = {},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2009/CMU-CS-09-110.pdf}
}