Formal Techniques for Networked and Distributed Systems /
Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)

29. FORTE / 11. FMOODS 2009: Lisboa, Portugal

David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5522 Springer 2009, ISBN 978-3-642-02137-4
Contents

28. FORTE 2008: Tokyo, Japan

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048 Springer 2008, ISBN 978-3-540-68854-9
Contents

27. FORTE 2007: Tallinn, Estonia

John Derrick, Jüri Vain (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings. Lecture Notes in Computer Science 4574 Springer 2007, ISBN 978-3-540-73195-5
Contents

26. FORTE 2006: Paris, France

Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Lecture Notes in Computer Science 4229 Springer 2006, ISBN 3-540-46219-8
Contents

25. FORTE 2005: Taipei, Taiwan

Farn Wang (Ed.): Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3731 Springer 2005, ISBN 3-540-29189-X
Contents

24. FORTE 2004: Madrid, Spain

David de Frutos-Escrig, Manuel Núñez (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3235 Springer 2004, ISBN 3-540-23252-4
Contents

Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (Eds.): Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236 Springer 2004, ISBN 3-540-23169-2
Contents

23. FORTE 2003: Berlin, Germany

Hartmut König, Monika Heiner, Adam Wolisz (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Lecture Notes in Computer Science 2767 Springer 2003, ISBN 3-540-20175-0
Contents

- FORTE 2003 Home Page

22. FORTE 2002: Houston, Texas, USA

Doron Peled, Moshe Y. Vardi (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science 2529 Springer 2002, ISBN 3-540-00141-7
Contents

- FORTE 2002 Home Page

21. FORTE 2001: Cheju Island, Korea

Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.): Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21^st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. IFIP Conference Proceedings 197 Kluwer 2001, ISBN 0-7923-7470-3
Contents - FORTE XIV Home Page

The merged FORTE/PSTV conference is just called FORTE since 2001.

13. FORTE / 20. PSTV 2000: Pisa, Italy

Tommaso Bolognesi, Diego Latella (Eds.): Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. IFIP Conference Proceedings 183 Kluwer 2000, ISBN 0-7923-7968-3
Contents - FORTE XIII Home Page

Formal Methods Elsewhere: ENTCS 43

12. FORTE / 19. PSTV 1999: Beijing, China

Jianping Wu, Samuel T. Chanson, Qiang Gao (Eds.): Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China. IFIP Conference Proceedings 156 Kluwer 1999, ISBN 0-7923-8646-9
Contents

11. FORTE / 18. PSTV 1998: Paris, France

Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France. IFIP Conference Proceedings 135 Kluwer 1998, ISBN 0-412-84760-4
Contents

10. FORTE / 17. PSTV 1997: Osaka, Japan

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan. IFIP Conference Proceedings 107 Chapman & Hall 1998, ISBN 0-412-82060-9
Contents

- FORTE/PSTV 1997 Home Page

9. FORTE / 16. PSTV 1996: Kaiserslautern, Germany

Reinhard Gotzhein, Jan Bredereke (Eds.): Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. IFIP Conference Proceedings 69 Chapman & Hall 1996, ISBN 0-412-79490-X
Contents

8. FORTE 1995: Montreal, Canada

Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (Eds.): Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43 Chapman & Hall 1996, ISBN 0-412-73270-X
Contents

7. FORTE 1994: Berne, Switzerland

Dieter Hogrefe, Stefan Leue (Eds.): Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings 6 Chapman & Hall 1995, ISBN 0-412-64450-9
Contents

6. FORTE 1993: Boston, MA, USA

Richard L. Tenney, Paul D. Amer, M. Ümit Uyar (Eds.): Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993. IFIP Transactions C-22 North-Holland 1994, ISBN 0-444-81773-5
Contents

5. FORET 1992: Perros-Guirec, France

Michel Diaz, Roland Groz (Eds.): Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992. IFIP Transactions C-10 North-Holland 1993, ISBN 0-444-89282-6
Contents

4. FORTE 1991: Sydney, NSW, Australia

Ken R. Parker, Gordon A. Rose (Eds.): Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991. IFIP Transactions C-2 North-Holland 1992, ISBN 0-444-89402-0
Contents

3. FORTE 1990: Madrid, Spain

Juan Quemada, José A. Mañas, Enrique Vázquez (Eds.): Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991, ISBN 0-444-89024-6
Contents

2. FORTE 1989: Vancouver, BC, Canada

Son T. Vuong (Ed.): Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland 1990, ISBN 0-444-88544-7
Contents

1. FORTE 1988: Stirling Scotland, UK

Kenneth J. Turner (Ed.): Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. North-Holland 1989, ISBN 0-444-87126-8
Contents

Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)