Author Info
Name
Affiliation
Papers
PRAKASH M. PERANANDAM
University of T
2
Collaborators
Citations 
PageRank 
5
9
0.89
Referers 
Referees 
References 
26
57
28
Title
Citations
PageRank
Year
Fast falsification based on symbolic bounded property checking00.342006
Bounded Property Checking with Symbolic Simulation90.552003