Tools and algorithms for the construction and analysis of systemsSusanne GrafUitverkochtHou mij op de hoogte
Formal Techniques for Distributed Objects, Components, and SystemsSusanne GrafUitverkochtHou mij op de hoogte