-
-
-
-
-
-
-
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
by Marco Bernardo (Editor), Rocco De Nicola (Editor), Professor Jane Hillston (Editor)
|
Eligible for
