@inproceedings{eggramnedfra:sefm:2011,Author = {Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle},Title = {Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods},Year = {2011},Month = {01},Publisher = {Springer},Series = {LNCS},Booktitle = {Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)},type = {inproceedings},note = {To appear},Abstract = {To appear}}@COMMENT{Bibtex file generated on }