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