| BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vol. 194/3. Elsevier: Elsevier Science, 2008, s. 35-50, 15 s. ISSN 1571-0661. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{749375,
author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana and Dražan, Sven and Šafránek, David},
address = {Elsevier},
booktitle = {Electronic Notes in Theoretical Computer Science},
edition = {Vol. 194/3},
keywords = {genetic regulatory networks; discrete simulation; parallel model checking},
language = {eng},
location = {Elsevier},
note = {Proceedings of From Biology to Concurrency and Back (FBTC 2007)},
pages = {35-50},
publisher = {Elsevier Science},
title = {Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE},
year = {2008}
}
TY - JOUR
ID - 749375
AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana - Dražan, Sven - Šafránek, David
PY - 2008
TI - Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
PB - Elsevier Science
CY - Elsevier
N1 - Proceedings of From Biology to Concurrency and Back (FBTC 2007)
KW - genetic regulatory networks
KW - discrete simulation
KW - parallel model checking
N2 - Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.
ER -
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In \textit{Electronic Notes in Theoretical Computer Science}. Vol. 194/3. Elsevier: Elsevier Science, 2008, s.~35-50, 15 s. ISSN~1571-0661.
|
