Books by Unknown Author
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Software Engineering and Formal Methods
2016
Software, Services, and Systems
2015
Trustworthy Global Computing
2005
Coordination Models and Languages
2004