DMCA

Algorithmic analysis of nonlinear hybrid systems (1995)

by Thomas A. Henzinger , Pei-hsin Ho , Howard Wong-toi
Venue:in Proc. CAV 95: Computer-aided Verification, Lecture Notes in Computer Science
Citations:133 - 13 self