Widening the Boundary between Decidable and Undecidable Hybrid Systems.

Eugene Asarin, Gerardo Schneider

Browse the full CONCUR paper archive.