Searching for authors named "Miguel Valero Espada" – sorted by Relevance.
-
Modal Abstractions in µCRL
- de Pol, Miguel Valero Espada Software Engineering REPORT SEN-R0401 FEBRUARY 15, 2004 CWI
- Cited by 2 (1 self) – Add To MetaCart
-
Formal specification of JavaSpaces™ architectures using μCRL
- Formal specification of JavaSpaces TM architecture using CRL Jaco van de Pol Miguel Valero
- Add To MetaCart

