%0 Conference Paper %1 conf/amcc/ArechigaLPK12 %A Aréchiga, Nikos %A Loos, Sarah M. %A Platzer, André %A Krogh, Bruce H. %B ACC %D 2012 %I IEEE %K dblp %P 3573-3580 %T Using theorem provers to guarantee closed-loop system properties. %U http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#ArechigaLPK12 %@ 978-1-4577-1095-7

@inproceedings{conf/amcc/ArechigaLPK12, added-at = {2019-09-05T00:00:00.000+0200}, author = {Aréchiga, Nikos and Loos, Sarah M. and Platzer, André and Krogh, Bruce H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/247212c9a5eec064ef7c127b0913fc31f/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2012}, ee = {http://ieeexplore.ieee.org/document/6315388/}, interhash = {28c12fbbad81d0956a65f40073ea46ef}, intrahash = {47212c9a5eec064ef7c127b0913fc31f}, isbn = {978-1-4577-1095-7}, keywords = {dblp}, pages = {3573-3580}, publisher = {IEEE}, timestamp = {2019-09-27T21:13:42.000+0200}, title = {Using theorem provers to guarantee closed-loop system properties.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#ArechigaLPK12}, year = 2012 }