%0 Conference Paper %1 conf/trustcom/Hansen11 %A Hansen, Hallstein Asheim %B TrustCom %D 2011 %I IEEE Computer Society %K dblp %P 1146-1153 %T Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions. %U http://dblp.uni-trier.de/db/conf/trustcom/trustcom2011.html#Hansen11 %@ 978-1-4577-2135-9

@inproceedings{conf/trustcom/Hansen11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hansen, Hallstein Asheim}, biburl = {https://www.bibsonomy.org/bibtex/26d2f2e57201bd3b80aa79504473092b4/dblp}, booktitle = {TrustCom}, crossref = {conf/trustcom/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/TrustCom.2011.156}, interhash = {045abade34df3fb52a58ef6f2458f462}, intrahash = {6d2f2e57201bd3b80aa79504473092b4}, isbn = {978-1-4577-2135-9}, keywords = {dblp}, pages = {1146-1153}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:25:26.000+0200}, title = {Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions.}, url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2011.html#Hansen11}, year = 2011 }