Protocol Specification, Testing and Verification
IFIP Publications
IFIP TC6
IFIP WG6.1
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 - 21st 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.
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
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
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
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
- 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
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
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
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
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
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
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
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
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
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
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
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
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
1. PSTV 1981: Teddington, UK
Copyright © Fri Mar 12 17:20:15 2010
by Michael Ley (ley@uni-trier.de)
