Gorrieri - Formal Methods for Open Object-Based Distributed Systems - X555z

Steffen - Formal Methods for Open Object-Based Distributed Systems 7 - X555z

Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z

Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: Used

Barthe - Formal Methods for Open Object-Based Distributed Systems 10 - X555z

Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: New

Kordon - Formal Methods for Embedded Distributed Systems How to mast - X555z

IFIP: Formal Methods for Open Object-Based Distributed Systems IV by S Smith HC