11. PSTV 1991:
Stockholm,
Sweden
Bengt Jonsson, Joachim Parrow, Björn Pehrson (Eds.):
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 
@proceedings{DBLP:conf/pstv/1991,
editor = {Bengt Jonsson and
Joachim Parrow and
Bj{\"o}rn Pehrson},
title = {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},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1991},
isbn = {0-444-89210-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1:
Verification
- Antti Valmari, Martti Tienari:
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm.
3-18
- Juan Quemada:
Compressed State Space Representation in LOTOS with the Interleaved Expansion.
19-35
Session 2:
Specification
Session 3:
Refinement and Implementation
Session 4:
Semantics
Session 5:
Performance and Time
Session 6:
Testing Theory
Session 7:
Conformance Testing
Session 8:
Test Sequence Generation
Last update Tue Feb 14 04:09:40 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
