State Equivalences for Rectangular Hybrid Automata.

Thomas A. Henzinger, Peter W. Kopke

Browse the full CONCUR paper archive.