Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1130953, author = {Brim, Luboš and Češka, Milan and Šafránek, David}, address = {Neuveden}, booktitle = {Formal Methods for Dynamical Systems}, doi = {http://dx.doi.org/10.1007/978-3-642-38874-3_3}, editor = {Marco Bernardo}, keywords = {dynamical systems}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Neuveden}, isbn = {978-3-642-38873-6}, pages = {63-112}, publisher = {Springer}, title = {Model Checking of Biological Systems}, year = {2013} }
TY - JOUR ID - 1130953 AU - Brim, Luboš - Češka, Milan - Šafránek, David PY - 2013 TI - Model Checking of Biological Systems PB - Springer CY - Neuveden SN - 9783642388736 KW - dynamical systems N2 - Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim is to give a reference for further reading. ER -
BRIM, Luboš, Milan ČEŠKA and David ŠAFRÁNEK. Model Checking of Biological Systems. In Marco Bernardo. \textit{Formal Methods for Dynamical Systems}. Neuveden: Springer, 2013, p.~63-112. ISBN~978-3-642-38873-6. Available from: https://dx.doi.org/10.1007/978-3-642-38874-3\_{}3.
|