Probabilistic model checking of complex biological pathways

Cite this paper

@inproceedings{Heath2006ProbabilisticMC, title={Probabilistic model checking of complex biological pathways}, author={John Heath and Marta Z. Kwiatkowska and Gethin Norman and David Parker and Oksana Tymchyshyn}, booktitle={Theor. Comput. Sci.}, year={2006} }