Filtrování publikací

    2009

    1. 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: 24. 3. 2025 17:38