%0 Journal Article %1 journals/tac/WisniewskiS16 %A Wisniewski, Rafael %A Sloth, Christoffer %D 2016 %J IEEE Trans. Automat. Contr. %K dblp %N 5 %P 1356-1361 %T Converse Barrier Certificate Theorems. %U http://dblp.uni-trier.de/db/journals/tac/tac61.html#WisniewskiS16 %V 61

@article{journals/tac/WisniewskiS16, added-at = {2016-04-27T00:00:00.000+0200}, author = {Wisniewski, Rafael and Sloth, Christoffer}, biburl = {https://www.bibsonomy.org/bibtex/29d3d798421af41346cc95aef6763fd53/dblp}, ee = {http://dx.doi.org/10.1109/TAC.2015.2476155}, interhash = {6da6232ade889f249aaedefb56e9baa6}, intrahash = {9d3d798421af41346cc95aef6763fd53}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 5, pages = {1356-1361}, timestamp = {2016-04-28T11:35:19.000+0200}, title = {Converse Barrier Certificate Theorems.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac61.html#WisniewskiS16}, volume = 61, year = 2016 }