Related Books
Language: en
Pages: 351
Pages: 351
Type: BOOK - Published: 2008-05-27 - Publisher: Springer Science & Business Media
This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2
Language: en
Pages: 168
Pages: 168
Type: BOOK - Published: 2008 - Publisher:
Language: en
Pages: 398
Pages: 398
Type: BOOK - Published: 2002 - Publisher:
Language: en
Pages: 333
Pages: 333
Type: BOOK - Published: 2013-05-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Language: en
Pages: 260
Pages: 260
Type: BOOK - Published: 2009-06-15 - Publisher: Springer
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO