Protocol Specification, Testing and Verification

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 BibTeX - FORTE XIV Home Page

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

20. PSTV / 13. FORTE 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 BibTeX

Formal Methods Elsewhere: ENTCS 43

19. PSTV / 12. FORTE 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 BibTeX

18. PSTV / 11. FORTE 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 BibTeX

17. PSTV / 10. FORTE 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 BibTeX - FORTE/PSTV 1997 Home Page

16. PSTV / 9. FORTE 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 BibTeX

15. PSTV 1995: Warsaw, Poland

Piotr Dembinski, Marek Sredniawa (Eds.): Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. IFIP Conference Proceedings 38 Chapman & Hall 1996, ISBN 0-412-71620-8
Contents BibTeX

14. PSTV 1994: Vancouver, BC, Canada

Son T. Vuong, Samuel T. Chanson (Eds.): Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. IFIP Conference Proceedings 1 Chapman & Hall 1995, ISBN 0-412-63640-9
Contents BibTeX

13. PSTV 1993: Liège, Belgium

André A. S. Danthine, Guy Leduc, Pierre Wolper (Eds.): Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. IFIP Transactions C-16 North-Holland 1993, ISBN 0-444-81648-8
Contents BibTeX

12. PSTV 1992: Lake Buena Vista, Florida, USA

Richard J. Linn Jr., M. Ümit Uyar (Eds.): Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992. IFIP Transactions C-8 North-Holland 1992, ISBN 0-444-89874-3
Contents BibTeX

11. PSTV 1991: Stockholm, Sweden

Bengt Jonsson, Joachim Parrow, Björn Pehrson (Eds.): Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. North-Holland 1991, ISBN 0-444-89210-9
Contents BibTeX

10. PSTV 1990: Ottawa, Ontario, Canada

Luigi Logrippo, Robert L. Probert, Hasan Ural (Eds.): Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. North-Holland 1990, ISBN 0-444-88810-1
Contents BibTeX

9. PSTV 1989: Enschede, The Netherlands

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers (Eds.): Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland 1990, ISBN 0-444-88343-6
Contents BibTeX

8. PSTV 1988: Atlantic City, USA

7. PSTV 1987: Zürich, Switzerland

Harry Rudin, Colin H. West (Eds.): Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. North-Holland 1987, ISBN 0-444-70293-8
Contents BibTeX

6. PSTV 1986: Gray Rocks Inn, Canada

5. PSTV 1985: Toulouse-Moissac, France

Michel Diaz (Ed.): Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. North-Holland 1985, ISBN 0-444-87881-5
Contents BibTeX

4. PSTV 1984: Skytop Lodge, PA, USA

Yechiam Yemini, Robert E. Strom, Shaula Yemini (Eds.): Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. North-Holland 1985, ISBN 0-444-87676-6
Contents BibTeX

3. PSTV 1983: Rüschlikon, Switzerland

Harry Rudin, Colin H. West (Eds.): Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983. North-Holland 1983, ISBN 0-444-86769-4
Contents BibTeX

2. PSTV 1982: Idyllwild, CA, USA

Carl A. Sunshine (Ed.): Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. North-Holland 1982, ISBN 0-444-86481-4
Contents BibTeX