@article{BBC+09,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá and Sven Dražan and Jana Fabriková and David Šafránek},
 doi = {http://dx.doi.org/10.1016/j.tcs.2009.02.017},
 journal = {Theor. Comput. Sci.},
 number = {33-34},
 pages = {3128--3148},
 title = {{On algorithmic analysis of transcriptional regulation by LTL model checking}},
 url = {http://dx.doi.org/10.1016/j.tcs.2009.02.017},
 volume = {410},
 year = {2009}
}