%0 Journal Article %1 journals/ejcon/PennaIMMT13 %A Penna, Giuseppe Della %A Intrigila, Benedetto %A Magazzeni, Daniele %A Melatti, Igor %A Tronci, Enrico %D 2013 %J Eur. J. Control %K dblp %N 1 %P 14-36 %T CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. %U http://dblp.uni-trier.de/db/journals/ejcon/ejcon19.html#PennaIMMT13 %V 19

@article{journals/ejcon/PennaIMMT13, added-at = {2019-09-25T00:00:00.000+0200}, author = {Penna, Giuseppe Della and Intrigila, Benedetto and Magazzeni, Daniele and Melatti, Igor and Tronci, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/20428148b1a8fc7a24d33aa30e472eb74/dblp}, ee = {https://doi.org/10.1016/j.ejcon.2013.02.001}, interhash = {820df6d6a6e82cf2cd5ed405088c43d9}, intrahash = {0428148b1a8fc7a24d33aa30e472eb74}, journal = {Eur. J. Control}, keywords = {dblp}, number = 1, pages = {14-36}, timestamp = {2019-09-26T11:55:45.000+0200}, title = {CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.}, url = {http://dblp.uni-trier.de/db/journals/ejcon/ejcon19.html#PennaIMMT13}, volume = 19, year = 2013 }