@InProceedings{KT14,
author={M. Kwiatkowska and C. Thachuk},
title={Probabilistic Model Checking for Biology},
booktitle={Software Safety and Security},
year={2014},

editor={},
pages={},
organization={},
publisher={IOS Press},
series={NATO Science for Peace and Security Series - D: Information and Communication Security},
volume={},
address={},
month={},
note={To appear},
key={}
}