Quantitative verification techniques for biological processes

Kwiatkowska, M., Norman, G. and Parker, D. (2009) Quantitative verification techniques for biological processes. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A. and Winfree, E. (eds.) Algorithmic Bioprocesses. Series: Natural computing series. Springer, pp. 391-409. ISBN 9783540888697 (doi:10.1007/978-3-540-88869-7)

Full text not currently available from Enlighten.


Item Type:Book Sections
Status:Published
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin
Authors: Kwiatkowska, M., Norman, G., and Parker, D.
Subjects:Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Publisher:Springer
ISBN:9783540888697

University Staff: Request a correction | Enlighten Editors: Update this record