International Confer - Formal Methods for Open Object-Based Distribute - X555z

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

Bowman - Formal Methods for Open Object-Based Distributed Systems Vol - X555z

Raschke - Rigorous State-Based Methods 8th International Conference - X555z

Smith - Formal Methods for Open Object-Based Distributed Systems IV - X555z

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

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

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