Author Info
Name
Affiliation
Papers
HEIDY KHLAAF
University College London, London, UK#TAB#
3
Collaborators
Citations 
PageRank 
4
16
1.25
Referers 
Referees 
References 
50
49
39
Title
Citations
PageRank
Year
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.00.342017
T2: Temporal Property Verification30.392015
On Automation Of Ctl* Verification For Infinite-State Systems130.532015