by Rocco De Nicola , Rolf Hennicker
No reviews yet. Be the first!
Programming Languages and Systems
Formal Methods for the Quantitative Eval...
Software Engineering and Formal Methods
Trustworthy global computing
Coordination models and languages
Coordination Models and Languages