%0 Conference Paper %1 conf/dagstuhl/RauhA09 %A Rauh, Andreas %A Auer, Ekaterina %B Computer-assisted proofs - tools, methods and applications %D 2009 %E Brown, B. Malcolm %E Kaltofen, Erich %E Oishi, Shin'ichi %E Rump, Siegfried M. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany %K %T Interval Approaches to Reliable Control of Dynamical Systems. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P9471.html#RauhA09 %V 09471

@inproceedings{conf/dagstuhl/RauhA09, added-at = {2023-12-14T14:22:47.000+0100}, author = {Rauh, Andreas and Auer, Ekaterina}, biburl = {https://www.bibsonomy.org/bibtex/259d58b9ee0d5de22d49a01ef8e43e046/admin}, booktitle = {Computer-assisted proofs - tools, methods and applications}, crossref = {conf/dagstuhl/2009P9471}, editor = {Brown, B. Malcolm and Kaltofen, Erich and Oishi, Shin'ichi and Rump, Siegfried M.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2010/2512/}, interhash = {df1b5ec5fc8ae818fb92c28835831543}, intrahash = {59d58b9ee0d5de22d49a01ef8e43e046}, keywords = {}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-14T14:22:47.000+0100}, title = {Interval Approaches to Reliable Control of Dynamical Systems.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P9471.html#RauhA09}, volume = 09471, year = 2009 }