@InProceedings{,
  author = 	 {Henning Burchardt and Stefan Ratschan},
  title = 	 {Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving},
  booktitle =	 {Proceedings of the 3rd WSEAS International Conference on DYNAMICAL SYSTEMS and CONTROL (CONTROL'07)},
  editors =      {Ph. Dondon, V. Mladenov, S. Impedovo, C. Cepisca},
  pages =        {241--246},
  publisher =    {WSEAS Press},
  year =	 2007
}