Author Info
Name
Papers
Collaborators
RAMI EL-BAÏDA
2
2
Citations 
PageRank 
Referers 
3
1.12
5
Referees 
References 
17
8
Title
Citations
PageRank
Year
Automatic Verification of Concurrent Object Properties00.342001
Decision Procedure for Temporal Logic of Concurrent Objects30.781999