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 BibTeX
@proceedings{DBLP:conf/pstv/1990,
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {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},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1990},
isbn = {0-444-88810-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Specification and Design
Invited Paper:
Protocol Testing:
The first ten years,
the next ten years
Testing
Testing and Implementation
Implementation and Specification
Invited Paper:
Protocol Verification:
The first ten years,
the next ten years
- Raymond E. Miller:
Protocol verification: the first ten years, the next ten years; some personal observations.
199-225 BibTeX
Verification and Design
Algebraic Techniques
Logic Specification
Invited Paper:
Protocol Specification:
The first ten years,
the next ten years
Lotos and Verification
Epilogue
Copyright © Sat May 16 23:35:25 2009
by Michael Ley (ley@uni-trier.de)