@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 }