Formal Techniques for Distributed Objects, Components, and Sy... - 9783030217587

Peters - Formal Techniques for Distributed Objects Components and Sy - X555z

Albert - Formal Techniques for Distributed Objects Components and Sy - X555z

Graf - Formal Techniques for Distributed Objects Components and Syst - X555z

Formal Techniques for Distributed Objects, Components, and Systems: 46th IFIP WG

Suzuki - Formal Techniques for Networked and Distributed Systems - FOR - X555z

Frutos-Escrig - Formal Techniques for Networked and Distributed System - X555z

Boer - Formal Methods for Components and Objects Second Internationa - X555z