@inproceedingseggramnedfra: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} @COMMENTBibtex file generated on