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:365 - 16 self