Author Search Results

1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings edited by Krishnendu Chatterjee, Jirí Sgall.

Published 2013

Other Authors: “...Chatterjee, Krishnendu....”
Click to view e-book

eBook

2

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings edited by Krishnendu Chatterjee, Thomas A. Henzinger.

Published 2010

Other Authors: “...Chatterjee, Krishnendu....”
Click to view e-book

eBook

3

Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday

Principles of systems design : essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar (eds.).

Published 2023

Other Authors: “...Chatterjee, Krishnendu,...”
Click for online access

Electronic