Protocol Specification, Testing and Verification
21. FORTE 2001: Cheju Island, Korea
- Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee:
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]
The merged FORTE/PSTV conference is just called FORTE since 2001.
20. PSTV / 13. FORTE 2000: Pisa, Italy
- Tommaso Bolognesi, Diego Latella:
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:
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:
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:
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]
16. PSTV / 9. FORTE 1996: Kaiserslautern, Germany
- Reinhard Gotzhein, Jan Bredereke:
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:
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:
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:
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:
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:
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:
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:
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:
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:
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:
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:
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:
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]