Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings Chatterjee Krishnendu Heftet / 2013 / Engelsk
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings Chatterjee Krishnendu Heftet / 2010 / Engelsk
Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Raskin, Jean-François Heftet / 2022 / Engelsk
