Publications
of the Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT2002), Pasadena, California, June 23-28, 2002. Society for Design and Process Science, June 2002. ISSN 1090-9389 J. Peleska [...] concurrent systems. In Roland Meyer, Andr´e Platzer, and Heike Wehrheim, editors, Correct System Design - Symposium in Honor of ErnstR¨udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany [...] Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015, pages 82–121. Springer, 2015. ISBN 978-3-658-09993-0