Výpis publikací

2008

1. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

   BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest: Ivana Cerna and Gerald Luettgen, 2008, s. 83-96, 15 s. ISSN 1571-0661.

   Podrobněji: https://is.muni.cz/publication/763157/cs