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: 443
Pages: 443
Type: BOOK - Published: 2003-09-23 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
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: 461
Pages: 461
Type: BOOK - Published: 2006-04-11 - Publisher: Springer
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols
Language: en
Pages: 382
Pages: 382
Type: BOOK - Published: 2003-06-30 - Publisher: Springer
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University
