B. A. Krishna

According to our database, B. A. Krishna authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Liveness vs Safety - A Practical Viewpoint.

B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Formal verification of an ASIC ethernet switch block.

B. A. Krishna, Anamaya Sullerey, Alok Jain

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010