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 BibTeX
@proceedings{DBLP:conf/pstv/1987,
editor = {Harry Rudin and
Colin H. West},
title = {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},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1987},
isbn = {0-444-70293-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Specification I
Specification II
Specification III
Invited Paper
Verification I
Verification II
Protocol Analysis I
Protocol Analysis II
Invited Paper
Testing I
Implementation
Testing II
Note
Copyright © Sat May 16 23:35:25 2009
by Michael Ley (ley@uni-trier.de)
