%0 Conference Paper %1 conf/tacas/GiacobbeGGHPP15 %A Giacobbe, Mirco %A Guet, Calin C. %A Gupta, Ashutosh %A Henzinger, Thomas A. %A Paixão, Tiago %A Petrov, Tatjana %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 469-483 %T Model Checking Gene Regulatory Networks. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#GiacobbeGGHPP15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/GiacobbeGGHPP15, added-at = {2019-08-26T00:00:00.000+0200}, author = {Giacobbe, Mirco and Guet, Calin C. and Gupta, Ashutosh and Henzinger, Thomas A. and Paixão, Tiago and Petrov, Tatjana}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2644e31eb7ae29789c40e0bbeaba5db6c/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_47}, interhash = {abfaaaed358f659a772940671a89bce8}, intrahash = {644e31eb7ae29789c40e0bbeaba5db6c}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {469-483}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:37.000+0200}, title = {Model Checking Gene Regulatory Networks.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#GiacobbeGGHPP15}, volume = 9035, year = 2015 }