DSpace Home
→
Producción Científica
→
Publicaciones Científicas
→
Articulos Científicos Indexados
→
Browsing Articulos Científicos Indexados by Author

Browsing Articulos Científicos Indexados by Author "José-Luis Z.-M."

Now showing items 1-1 of 1

Verifying atomicity requirements of services coordination using B

Alberto P.; Genoveva V.-S.; Luciano G.-B.; Collet C.; José-Luis Z.-M. (2008)

https://www.scopus.com/inward/record.uri?eid=2-s2.0-56649108330&doi=10.1109%2fENC.2008.11&partnerID=40&md5=80f05e36cd2f2c8a4f5a4903f108fe9e

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account