Mostrar el registro sencillo del ítem

Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking

dc.contributor.authorFernández Álvarez, Alberto Manuel 
dc.contributor.authorFernández Lanvin, Daniel 
dc.contributor.authorQuintela Pumares, Manuel 
dc.date.accessioned2018-11-27T08:03:19Z
dc.date.available2018-11-27T08:03:19Z
dc.date.issued2017
dc.identifier.isbn9781941763551
dc.identifier.urihttp://www.iiis.org/CDs2017/CD2017Spring/papers/ZA885WP.pdf
dc.identifier.urihttp://hdl.handle.net/10651/49201
dc.descriptionInternational Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings(IMCIC 2017) (8th. 2017)
dc.description.sponsorshipGRUPIN14-100, NPST, National Plan for Science, Technology and Innovation; EGU, European Geosciences Union; FEDER, European Regional Development Fund
dc.format.extentp. 241-246
dc.language.isoeng
dc.relation.ispartofIMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings
dc.rights©,
dc.sourceScopus
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85049045123&partnerID=40&md5=5d7127a80ee486bb26449b025133f1ba
dc.titleExtending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
dc.typeconference outputspa


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem