Krishnamani Kalyanasundaram
发表
Jie Zhang,
Marc Chason,
Daniel R. Gamota,
2005,
Proceedings of the IEEE.
Marco Roveri,
Alessandro Cimatti,
R. K. Shyamasundar,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
R. K. Shyamasundar,
Krishnamani Kalyanasundaram,
R. Shyamasundar,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..