Author Info
Name
Papers
Collaborators
MANUEL FERNÁNDEZ
3
16
Citations 
PageRank 
Referers 
5
1.30
41
Referees 
References 
42
6
Title
Citations
PageRank
Year
\mathsf dL_ι - Definite Descriptions in Differential Dynamic Logic.00.342019
Advances in the Biomedical Applications of the EELA Project20.372010
Biomedical applications in EELA.30.592006