Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career