B. A. Krishna

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain
Liveness vs Safety - A Practical Viewpoint. Haifa Verification Conference (2011)
B. A. Krishna, Anamaya Sullerey, Alok Jain
Formal verification of an ASIC ethernet switch block. FMCAD (2010)