Published in: Lecture notes in computer science ; 4202

Published in: Lecture notes in computer science ; 4202

Published in: Lecture notes in computer science ; 4189

Published in: Language and Automata Theory and Applications (2012), Seite 1-2

Published in: Lecture Notes in Computer Science (2004), Seite 1-1

Published in: Hybrid Systems: Computation and Control (1998), Seite 1-12

Published in: Lecture Notes in Computer Science (2011), Seite 113-128

Published in: CONCUR 2009 - Concurrency Theory (2009), Seite 69-83

Published in: Lecture Notes in Computer Science (2009), Seite 13-27

Published in: RAIRO - Theoretical Informatics and Applications, 44 (2010) 1, Seite 37-58

Published in: Automata, Languages and Programming (2005), Seite 1031-1042

Published in: Electronic Notes in Theoretical Computer Science, 68 (2003) 5, Seite 16-33

Published in: Hybrid Systems: Computation and Control (2004), Seite 32-47

Published in: CONCUR 2002 — Concurrency Theory (2002), Seite 193-208

Published in: Hybrid Systems: Computation and Control (1999), Seite 19-30

Published in: IFAC Proceedings Volumes, 32 (1999) 2, Seite 2131-2136

Published in: Journal of Computer and System Sciences, 57 (1998) 3, Seite 389-398