| dc.contributor.author | Fernández Álvarez, Alberto Manuel | |
| dc.contributor.author | Fernández Lanvin, Daniel | |
| dc.contributor.author | Quintela Pumares, Manuel | |
| dc.date.accessioned | 2018-11-27T08:03:19Z | |
| dc.date.available | 2018-11-27T08:03:19Z | |
| dc.date.issued | 2017 | |
| dc.identifier.isbn | 9781941763551 | |
| dc.identifier.uri | http://www.iiis.org/CDs2017/CD2017Spring/papers/ZA885WP.pdf | |
| dc.identifier.uri | http://hdl.handle.net/10651/49201 | |
| dc.description | International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings(IMCIC 2017) (8th. 2017) | |
| dc.description.sponsorship | GRUPIN14-100, NPST, National Plan for Science, Technology and Innovation; EGU, European Geosciences Union; FEDER, European Regional Development Fund | |
| dc.format.extent | p. 241-246 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings | |
| dc.rights | ©, | |
| dc.source | Scopus | |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85049045123&partnerID=40&md5=5d7127a80ee486bb26449b025133f1ba | |
| dc.title | Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking | |
| dc.type | conference output | spa |
