FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Jones Cliff Heftet / 2014 / Engelsk
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Jones Cliff Heftet / 2018 / Engelsk
