Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. 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. vol. 2009, No 410, p. 3128-3148, 20 pp. ISSN 0304-3975. 2009.
      More: https://is.muni.cz/publication/824056/en
Display details
Displayed: 19/4/2024 23:44