Author Info
Name
Affiliation
Papers
QUENTIN HEATH
Inria-Saclay, LIX/Ecole Polytechnique, and CNRS UMR 7161
1
Collaborators
Citations 
PageRank 
1
1
0.35
Referers 
Referees 
References 
2
30
24
Title
Citations
PageRank
Year
A Proof Theory for Model Checking10.352019