%0 Journal Article %1 journals/tcs/BenerecettiFM13 %A Benerecetti, Massimo %A Faella, Marco %A Minopoli, Stefano %D 2013 %J Theor. Comput. Sci. %K dblp %P 116-138 %T Automatic synthesis of switching controllers for linear hybrid systems: Safety control. %U http://dblp.uni-trier.de/db/journals/tcs/tcs493.html#BenerecettiFM13 %V 493

@article{journals/tcs/BenerecettiFM13, added-at = {2021-02-17T00:00:00.000+0100}, author = {Benerecetti, Massimo and Faella, Marco and Minopoli, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/274f043a2b3a07396b69078bcbac4ab5f/dblp}, ee = {https://doi.org/10.1016/j.tcs.2012.10.042}, interhash = {ef892cf0054b663b3a6009d7c622a49a}, intrahash = {74f043a2b3a07396b69078bcbac4ab5f}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {116-138}, timestamp = {2024-04-08T18:37:37.000+0200}, title = {Automatic synthesis of switching controllers for linear hybrid systems: Safety control.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs493.html#BenerecettiFM13}, volume = 493, year = 2013 }