English español
Search
 

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Ponencias, Discursos y Conferencias >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/49201

Title: Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
Author(s): Fernández Álvarez, Alberto Manuel
Fernández Lanvin, Daniel
Quintela Pumares, Manuel
Issue date: 2017
Format extent: p. 241-246
Description: International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings(IMCIC 2017) (8th. 2017)
URI: http://www.iiis.org/CDs2017/CD2017Spring/papers/ZA885WP.pdf
http://hdl.handle.net/10651/49201
ISBN: 9781941763551
Sponsored: GRUPIN14-100, NPST, National Plan for Science, Technology and Innovation; EGU, European Geosciences Union; FEDER, European Regional Development Fund
Appears in Collections:Ponencias, Discursos y Conferencias

Files in This Item:

There are no files associated with this item.



Exportar a Mendeley


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias