Modularity for Timed and Hybrid Systems (1997)

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