Software Engineering and Formal Methods More Books by Rocco De Nicola & Eva Kühn

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Concurrency, Graphs and Models Concurrency, Graphs and Models
2008