Skip to content

Hybrid Automata with Finite Bisimulatioins.

Thomas A. Henzinger

VenueA*ICALP
Year1995
ProceedingsICALP

Browse the full ICALP paper archive.