> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: CONCUR 2002 — Concurrency Theory: Widening the Boundary between Decidable and Undecidable Hybrid Systems* Beteiligte: Asarin, Eugene; Schneider, Gerardo Erschienen: Springer Berlin Heidelberg, 2002 Erschienen in: CONCUR 2002 — Concurrency Theory (2002), Seite 193-208 Sprache: Nicht zu entscheiden DOI: 10.1007/3-540-45694-5_14 ISBN: 9783540440437; 9783540456940 ISSN: 0302-9743 Entstehung: Anmerkungen: