Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC...

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1...

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

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 T...

Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip