Masaryk University
Publication Records
česky
|
in English
Filter publications
Filters
Linked to RIV:
yes
no
Publication year:
2009
Disable all filters
No publication matches the selected criteria.
2009
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
BARNAT, Jiří
,
Luboš BRIM
,
Ivana ČERNÁ
,
Sven DRAŽAN
,
Jana FABRIKOVÁ
and
David ŠAFRÁNEK
. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking.
Theoretical Computer Science
. 2009, vol. 2009, No 410, p. 3128-3148, 20 pp. ISSN 0304-3975.
More:
https://is.muni.cz/publication/824056/en
Display details
Displayed:
15/10/2024 18:01