Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings Pettersson Paul Heftet / 2005 / Engelsk
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career Graf Susanne Heftet / 2024 / Engelsk
