Author Info
Name
Affiliation
Papers
ABIGAIL PARISACA VARGAS
San Pablo Catholic University, Arequipa, Peru
2
Collaborators
Citations 
PageRank 
4
1
0.72
Referers 
Referees 
References 
3
33
12
Title
Citations
PageRank
Year
Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards.00.342015
Model Checking LTL Formulae in RAISE with FDR10.382009