%0 Conference Paper %1 conf/amcc/RunggerS12 %A Rungger, Matthias %A Stursberg, Olaf %B ACC %D 2012 %I IEEE %K dblp %P 2645-2650 %T On-the-fly model abstraction for controller synthesis. %U http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#RunggerS12 %@ 978-1-4577-1095-7

@inproceedings{conf/amcc/RunggerS12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Rungger, Matthias and Stursberg, Olaf}, biburl = {https://www.bibsonomy.org/bibtex/210b331f8416463b9f0ce8452ab662228/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2012}, ee = {https://doi.org/10.1109/ACC.2012.6314891}, interhash = {63a9986d7ccb4c8eb2ff285ec29a05ed}, intrahash = {10b331f8416463b9f0ce8452ab662228}, isbn = {978-1-4577-1095-7}, keywords = {dblp}, pages = {2645-2650}, publisher = {IEEE}, timestamp = {2024-04-09T13:53:30.000+0200}, title = {On-the-fly model abstraction for controller synthesis.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#RunggerS12}, year = 2012 }