Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

May-Happen-in-Parallel Analysis with Returned Futures

Thumbnail Image

Download

May-Happen-in-Parallel_Analysis.pdf (386.89 KB)

Official URL

https://doi.org/10.1007/978-3-319-68167-2_3

Full text at PDC

Publication date

2017

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/96451

Citation

Albert, E., Genaim, S., Gordillo, P. (2017). May-Happen-in-Parallel Analysis with Returned Futures. In: D'Souza, D., Narayan Kumar, K. (eds) Automated Technology for Verification and Analysis. ATVA 2017. Lecture Notes in Computer Science(), vol 10482. Springer, Cham. https://doi.org/10.1007/978-3-319-68167-2_3

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Informática (Informática)

Unesco subjects

1203.17 Informática

Keywords

Collections

Artículos