Probabilistic model checking for systems biology

Kwiatkowska, M., Norman, G. and Parker, D. (2011) Probabilistic model checking for systems biology. In: Iyengar, M.S. (ed.) Symbolic Systems Biology: Theory and Methods. Jones and Bartlett: Sudbury, Mass., USA. ISBN 9780763753702

Full text not currently available from Enlighten.

Item Type:Book Sections
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin
Authors: Kwiatkowska, M., Norman, G., and Parker, D.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Publisher:Jones and Bartlett

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