@inbook{KNP08b,
author={M. Kwiatkowska and G. Norman and D. Parker}, 
title={Algorithmic Bioprocesses},
chapter={Quantitative Verification Techniques for Biological Processes},
pages={},
publisher={Springer},
year={2008},

volume={},
series={},
address={},
edition={},
month={},
note={To appear.},
key={}
}