Author Info
Name
Affiliation
Papers
KUMAR MADHUKAR
Tata Research Development and Design Center, Pune, Maharashtra, India and Chennai Mathematical Institute, Chennai, Tamil Nadu, India
2
Collaborators
Citations 
PageRank 
5
1
0.70
Referers 
Referees 
References 
2
59
24
Title
Citations
PageRank
Year
Compositional Safety Refutation Techniques.00.342017
Verifying synchronous reactive systems using lazy abstraction10.362015