BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-219427, author = {Bartocci, Ezio and Bortolussi, Luca and Nenzi, Laura}, title = {A temporal logic approach to modular design of synthetic biological circuits}, booktitle = {Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology}, year = {2013}, pages = {164--178}, publisher = {LNCS/Springer}, address = {vol. 8130}, isbn = {978-3-642-40707-9}, doi = {10.1007/978-3-642-40708-6{\_}13}, keywords = {Synthetic Biology, Computational Systems Biology}, note = {talk: CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria; 2013-09-23 -- 2013-09-25} } 1 Datensatz ausgegeben