Searching for authors named "Miguel Valero Espada" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Modal Abstractions in µCRL
by Jaco Van De Pol, Jaco Van De Pol, Miguel Valero Espada, Miguel Valero Espada — 2004 — In Proc. of the Algebraic Methodology and Software Technology (AMAST’04
… 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
by Architecture Using Crl, Jaco van de Pol, Miguel Valero Espada
…Formal specification of JavaSpaces TM architecture using CRL Jaco van de Pol Miguel Valero…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB