Modularity for Timed and Hybrid Systems (1997)

by Rajeev Alur , Thomas A. Henzinger
Citations:69 - 19 self