Author Info
Name
Affiliation
Papers
RAGHAVENDRA K. RAMESH
Department of Computer Sc. & Automation, Indian Institute of Science, India
2
Collaborators
Citations 
PageRank 
4
6
0.81
Referers 
Referees 
References 
13
28
16
Title
Citations
PageRank
Year
Model-checking trace-based information flow properties for infinite-state systems.00.342016
On the Decidability of Model-Checking Information Flow Properties60.472008