Masarykova univerzita
Výpis publikací
česky
|
in English
Filtrování publikací
Omezující kritéria
Určeno pro RIV:
ano
ne
Rok uplatnění publikace:
2009
Zrušit všechna omezení
Zvoleným kritériím neodpovídá žádná publikace.
2009
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
BARNAT, Jiří
,
Luboš BRIM
,
Ivana ČERNÁ
,
Sven DRAŽAN
,
Jana FABRIKOVÁ
a
David ŠAFRÁNEK
. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking.
Theoretical Computer Science
. 2009, roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975.
Podrobněji:
https://is.muni.cz/publication/824056/cs
Zobrazit podrobně
Zobrazeno:
22. 9. 2024 07:12