Miguel Valero Espada
Author
Alternate names Miguel Espada, Miguel Valero Espada, M.V. Espada
Institution Universidad Complutense de Madrid
Past institutions Universidad Complutense de Madrid, Centrum Wiskunde & Informatica
H-index: 6
I10-index: 3
Works count: 15
Citations count: 105
A State Space Distribution Policy Based on Abstract Interpretation
2005 · Simona Orzan, Jaco van de Pol, et al. · Electronic Notes in Theoretical Computer Science
Modal Abstractions in μCRL
2004 · Jaco van de Pol, Miguel Valero Espada · Lecture notes in computer science
Formal Specification of JavaSpaces™ Architecture Using μCRL
2002 · Jaco van de Pol, Miguel Valero Espada · Lecture notes in computer science