%0 Conference Paper %1 conf/eucc/PedersenSW16 %A Pedersen, Rasmus %A Sloth, Christoffer %A Wisniewski, Rafael %B ECC %D 2016 %I IEEE %K dblp %P 447-452 %T Verification of power grid voltage constraint satisfaction - A barrier certificate approach. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2016.html#PedersenSW16 %@ 978-1-5090-2591-6

@inproceedings{conf/eucc/PedersenSW16, added-at = {2020-06-15T00:00:00.000+0200}, author = {Pedersen, Rasmus and Sloth, Christoffer and Wisniewski, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/217b8f5f5ec225df1d1ac94c50d4546ab/dblp}, booktitle = {ECC}, crossref = {conf/eucc/2016}, ee = {https://doi.org/10.1109/ECC.2016.7810325}, interhash = {09b8a592a525bf48234857db829b0884}, intrahash = {17b8f5f5ec225df1d1ac94c50d4546ab}, isbn = {978-1-5090-2591-6}, keywords = {dblp}, pages = {447-452}, publisher = {IEEE}, timestamp = {2024-04-09T14:22:40.000+0200}, title = {Verification of power grid voltage constraint satisfaction - A barrier certificate approach.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2016.html#PedersenSW16}, year = 2016 }