Sciweavers

ATVA
2008
Springer

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

13 years 5 months ago
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Andreas Eggers, Martin Fränzle, Christian Her
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATVA
Authors Andreas Eggers, Martin Fränzle, Christian Herde
Comments (0)