Srinivas Narayana

First name

Srinivas

Last name

Narayana

Sethi, Divjyot, Srinivas Narayana, and Sharad Malik. 2013. “Abstractions for Model Checking SDN Controllers”. In Formal Methods in Computer-Aided Design (FMCAD), 2013, 145–148. IEEE.

Reference Link