%0 Book Section %1 series/cb/BowlesC19 %A Bowles, Juliana Küster Filipe %A Caminati, Marco B. %B Automated Reasoning for Systems Biology and Medicine %D 2019 %E Liò, Pietro %E Zuliani, Paolo %I Springer %K dblp %P 243-267 %T Balancing Prescriptions with Constraint Solvers. %U http://dblp.uni-trier.de/db/series/cb/cb30.html#BowlesC19 %V 30 %@ 978-3-030-17297-8

@incollection{series/cb/BowlesC19, added-at = {2019-10-19T00:00:00.000+0200}, author = {Bowles, Juliana Küster Filipe and Caminati, Marco B.}, biburl = {https://www.bibsonomy.org/bibtex/27cbdcf3a1460625b33ebbe1e8331e87b/dblp}, booktitle = {Automated Reasoning for Systems Biology and Medicine}, crossref = {series/cb/30}, editor = {Liò, Pietro and Zuliani, Paolo}, ee = {https://doi.org/10.1007/978-3-030-17297-8_9}, interhash = {b21beb1b508b9297d2347e1afa3cb291}, intrahash = {7cbdcf3a1460625b33ebbe1e8331e87b}, isbn = {978-3-030-17297-8}, keywords = {dblp}, pages = {243-267}, publisher = {Springer}, series = {Computational Biology}, timestamp = {2019-10-22T15:56:23.000+0200}, title = {Balancing Prescriptions with Constraint Solvers.}, url = {http://dblp.uni-trier.de/db/series/cb/cb30.html#BowlesC19}, volume = 30, year = 2019 }