Related Books
Language: en
Pages: 388
Pages: 388
Type: BOOK - Published: 2004-09-21 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Language: en
Pages: 569
Pages: 569
Type: BOOK - Published: 2005-09-26 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Language: en
Pages: 497
Pages: 497
Type: BOOK - Published: 2006-09-27 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Language: en
Pages: 332
Pages: 332
Type: BOOK - Published: 2005-06-03 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOO
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
