Author Info
Name
Affiliation
Papers
EDUARDO ROCHA
Univ Fed Pernambuco, Ctr Informat, BR-50740560 Recife, PE, Brazil
1
Collaborators
Citations 
PageRank 
4
2
0.39
Referers 
Referees 
References 
5
54
16
Title
Citations
PageRank
Year
A Formal Model for Natural-Language Timed Requirements of Reactive Systems.20.392014