%0 Journal Article %1 journals/tcs/BarnatBCDFS09 %A Barnat, Jiri %A Brim, Lubos %A Cerná, Ivana %A Drazan, Sven %A Fabriková, Jana %A Safránek, David %D 2009 %J Theor. Comput. Sci. %K dblp %N 33-34 %P 3128-3148 %T On algorithmic analysis of transcriptional regulation by LTL model checking. %U http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BarnatBCDFS09 %V 410

@article{journals/tcs/BarnatBCDFS09, added-at = {2009-11-02T00:00:00.000+0100}, author = {Barnat, Jiri and Brim, Lubos and Cerná, Ivana and Drazan, Sven and Fabriková, Jana and Safránek, David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29bfbfcf93f9cfc4e93bd744ee57dda8a/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2009.02.017}, interhash = {e85713c2d953db4c51b6296513380385}, intrahash = {9bfbfcf93f9cfc4e93bd744ee57dda8a}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {33-34}, pages = {3128-3148}, timestamp = {2016-02-02T10:03:22.000+0100}, title = {On algorithmic analysis of transcriptional regulation by LTL model checking.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BarnatBCDFS09}, volume = 410, year = 2009 }