Krishnendu Chatterjee

No bio available. Add one in Open Library.

Books by Krishnendu Chatterjee (50 max)

+ shelf+ list

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

2010

Krishnendu Chatterjee, Thomas A. Henzinger

+ shelf+ list

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

2013

Krishnendu Chatterjee, Jiri Sgall

+ shelf+ list

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Ocasion of His 60th Birthday

2023

Jean-François Raskin, Krishnendu Chatterjee