Treffer: May-Happen-in-Parallel Analysis with Returned Futures

May-Happen-in-Parallel Analysis with Returned Futures

Albert, Elvira^Aff15, Genaim, Samir^Aff15, Gordillo, Pablo^Aff15

Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, D'Souza, Deepak, editor^Aff13, Narayan Kumar, K., editor^Aff14

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. 10482:42-58

Springer Nature eBooks