%0 Conference Paper %1 conf/pacbb/MonteiroC12 %A Monteiro, Pedro T. %A Chaouiya, Claudine %B PACBB %D 2012 %E Rocha, Miguel P. %E Luscombe, Nicholas M. %E Fdez-Riverola, Florentino %E Rodríguez, Juan M. Corchado %I Springer %K dblp %P 259-267 %T Efficient Verification for Logical Models of Regulatory Networks. %U http://dblp.uni-trier.de/db/conf/pacbb/pacbb2012.html#MonteiroC12 %V 154 %@ 978-3-642-28838-8

@inproceedings{conf/pacbb/MonteiroC12, added-at = {2022-08-04T00:00:00.000+0200}, author = {Monteiro, Pedro T. and Chaouiya, Claudine}, biburl = {https://www.bibsonomy.org/bibtex/2b3817066be8c3581f6b128dea66e62d2/dblp}, booktitle = {PACBB}, crossref = {conf/pacbb/2012}, editor = {Rocha, Miguel P. and Luscombe, Nicholas M. and Fdez-Riverola, Florentino and Rodríguez, Juan M. Corchado}, ee = {https://www.wikidata.org/entity/Q59211685}, interhash = {0602b94e4170347383fd2dfa7208bc6d}, intrahash = {b3817066be8c3581f6b128dea66e62d2}, isbn = {978-3-642-28838-8}, keywords = {dblp}, pages = {259-267}, publisher = {Springer}, series = {Advances in Intelligent and Soft Computing}, timestamp = {2024-04-09T21:42:27.000+0200}, title = {Efficient Verification for Logical Models of Regulatory Networks.}, url = {http://dblp.uni-trier.de/db/conf/pacbb/pacbb2012.html#MonteiroC12}, volume = 154, year = 2012 }