dc.contributor.author | Alberto P. | |
dc.contributor.author | Genoveva V.-S. | |
dc.contributor.author | Luciano G.-B. | |
dc.contributor.author | Collet C. | |
dc.contributor.author | José-Luis Z.-M. | |
dc.date.accessioned | 2018-03-01T00:06:19Z | |
dc.date.available | 2018-03-01T00:06:19Z | |
dc.date.issued | 2008 | |
dc.identifier.issn | 2-s2.0-56649108330 | |
dc.identifier.uri | http://repositorio.udlap.mx/xmlui/handle/123456789/6805 | |
dc.description.abstract | https://www.scopus.com/inward/record.uri?eid=2-s2.0-56649108330&doi=10.1109%2fENC.2008.11&partnerID=40&md5=80f05e36cd2f2c8a4f5a4903f108fe9e | |
dc.source | Scopus | |
dc.title | Verifying atomicity requirements of services coordination using B | |
dc.type | Conference Paper |
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |