Media type: E-Article Title: CONCUR 2002 — Concurrency Theory: Widening the Boundary between Decidable and Undecidable Hybrid Systems* Contributor: Asarin, Eugene; Schneider, Gerardo Published: Springer Berlin Heidelberg, 2002 Published in: CONCUR 2002 — Concurrency Theory (2002), Seite 193-208 Language: Not determined DOI: 10.1007/3-540-45694-5_14 ISSN: 0302-9743 Origination: Footnote: