Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

  1. 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. ISSN 0304-3975.
Zobrazit podrobně
Zobrazeno: 25. 6. 2018 17:58