DMCA
What's Decidable about Hybrid Automata? (1995)
Cached
Download Links
by
Thomas A. Henzinger
,
Peter W. Kopke
,
Anuj Puri
,
Pravin Varaiya
Venue: | Journal of Computer and System Sciences |
Citations: | 375 - 16 self |