Publikation
Titel
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Publikationsart
Tagungsbeitrag
Alle Autoren
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
Zusammenfassung
To appear
Buchtitel
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
Erscheinungsdatum
2011
Serie
LNCS
Verlag
Springer
