2011
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems.
International Journal on Software Tools for Technology Transfer (STTT)
- ,
- ,
- Volume
- 13
- Number
- 5
- First page
- 449
- Last page
- 461
- Language
- Publishing type
- Research paper (scientific journal)
- DOI
- 10.1007/s10009-011-0193-y
- Link information
- ID information
-
- DOI : 10.1007/s10009-011-0193-y
- DBLP ID : journals/sttt/IshiiUH11