Related Books
Language: en
Pages: 385
Pages: 385
Type: BOOK - Published: 2007-06-12 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Language: en
Pages: 351
Pages: 351
Type: BOOK - Published: 2008-06-01 - Publisher: Springer
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: 389
Pages: 389
Type: BOOK - Published: 2004-09-09 - Publisher: Springer
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-10-20 - Publisher: Springer
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: 443
Pages: 443
Type: BOOK - Published: 2003-11-03 - Publisher: Springer
This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Syste
