RT Conference Proceedings
T1 May-Happen-in-Parallel Analysis with Returned Futures
A1 Albert Albiol, Elvira María
A1 Genaim, Samir
A1 Gordillo Alguacil, Pablo
SN 978-3-319-68166-5
SN 978-3-319-68167-2
SN 0302-9743
YR 2017
FD 2017
LK https://hdl.handle.net/20.500.14352/96451
UL https://hdl.handle.net/20.500.14352/96451
LA eng
NO 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
DS Docta Complutense
RD 16 abr 2025