Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, 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.
Conference: pstv1991