DMCA

Discrete Abstractions of Hybrid Systems (2000)

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