DMCA

What's Decidable about Hybrid Automata? (1995)

by Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , Pravin Varaiya
Venue:Journal of Computer and System Sciences
Citations:377 - 16 self