A Bayesian Approach to Model Checking Biological Systems

Lookup NU author(s): Dr Paolo Zuliani

Author(s): Jha S, Clarke EM, Langmead CJ, Legay A, Platzer A, Zuliani P

Editor(s): Degano, P.; Gorrieri, R.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

Year of Conference: 2009

Pages: 218-234

Date deposited: 18/11/2012

ISSN: 0302-9743

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/978-3-642-03845-7_15

DOI: 10.1007/978-3-642-03845-7_15

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642038440

ePrints