2010
2009
2006
2003
2002
2001
2000
1999
1998
1996
1995
1994
1993
1992
1991
1990
1989
1988
1986
1985
- 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, 1984Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, North-Holland, 1985.
1984
1983
1982
1980
1979