Buy This Article
From Springer.
Journal:
Formal Techniques for Distributed Objects, Components, and Systems
Visit Journal Webpage