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.
|
