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

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

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 In...

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

Bernardo - Formal Methods for Hardware Verification 6th Internationa - X555z

Artho - Formal Techniques for Safety-Critical Systems 6th Internatio - X555z

Jacobs - Formal Methods for Open Object-Based Distributed Systems V I - X555z