Krishnendu Chatterjee

Identifiers

Open LibraryOL7916674A

Books by Krishnendu Chatterjee

Total count: 3

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

Springer London, Limited2010-01-01
Mathematical Foundations of Computer Science 201338th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Springer London, Limited2013-01-01
Principles of Systems DesignEssays Dedicated to Thomas A. Henzinger on the Ocasion of His 60th Birthday

Springer2023-01-01