Author Info
Name
Affiliation
Papers
MICHAEL THOMAS
Leibniz Univ Hannover, Hannover, Germany
1
Collaborators
Citations 
PageRank 
5
2
0.37
Referers 
Referees 
References 
5
0
0
Title
Citations
PageRank
Year
Model Checking CTL is Almost Always Inherently Sequential20.372011