Albert Albiol, Elvira MaríaGenaim, SamirGordillo Alguacil, Pablo2024-01-302024-01-302017Albert, 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_3978-3-319-68166-5978-3-319-68167-20302-974310.1007/978-3-319-68167-2_3https://hdl.handle.net/20.500.14352/96451engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/conference paper1611-3349https://doi.org/10.1007/978-3-319-68167-2_3restricted accessInformática (Informática)1203.17 Informática