DMCA

Discrete Abstractions of Hybrid Systems (2000)

by Rajeev Alur , Thomas A. Henzinger , Gerardo Lafferriere, et al.
Citations:327 - 31 self