May-Happen-in-Parallel Analysis with Returned Futures
| dc.conference.title | International Symposium on Automated Technology for Verification and Analysis 2017 | |
| dc.contributor.author | Albert Albiol, Elvira María | |
| dc.contributor.author | Genaim, Samir | |
| dc.contributor.author | Gordillo Alguacil, Pablo | |
| dc.date.accessioned | 2024-01-30T11:58:35Z | |
| dc.date.available | 2024-01-30T11:58:35Z | |
| dc.date.issued | 2017 | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.identifier.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 | |
| dc.identifier.doi | 10.1007/978-3-319-68167-2_3 | |
| dc.identifier.essn | 1611-3349 | |
| dc.identifier.isbn | 978-3-319-68166-5 | |
| dc.identifier.isbn | 978-3-319-68167-2 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.officialurl | https://doi.org/10.1007/978-3-319-68167-2_3 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/96451 | |
| dc.language.iso | eng | |
| dc.page.final | 58 | |
| dc.page.initial | 42 | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | en |
| dc.rights.accessRights | restricted access | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | May-Happen-in-Parallel Analysis with Returned Futures | |
| dc.type | conference paper | |
| dc.type.hasVersion | VoR | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 1b41e88a-837f-414a-af5d-9105b5c0e7c5 | |
| relation.isAuthorOfPublication | 5c47e6f8-de26-4311-b340-ac4b1b1e5594 | |
| relation.isAuthorOfPublication.latestForDiscovery | 5c47e6f8-de26-4311-b340-ac4b1b1e5594 |
Download
Original bundle
1 - 1 of 1
Loading...
- Name:
- May-Happen-in-Parallel_Analysis.pdf
- Size:
- 386.89 KB
- Format:
- Adobe Portable Document Format