dblp.uni-trier.de www.uni-trier.de

3. PSTV 1983: Rüschlikon, Switzerland

Harry Rudin, Colin H. West (Eds.): Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983. North-Holland 1983, ISBN 0-444-86769-4 BibTeX
@proceedings{DBLP:conf/pstv/1983,
  editor    = {Harry Rudin and
               Colin H. West},
  title     = {Protocol Specification, Testing, and Verification, III, Proceedings
               of the IFIP WG 6.1 Third International Workshop on Protocol Specification,
               Testing and Verification, organized by IBM Research, R{\"u}schlikon,
               Switzerland, 31 May - 2 June, 1983},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86769-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Protocol Theory and Analyses

Specification and Formal Models

Theory and Applications of Petri Nets

Validation and Verification

Protocol Performance

Protocol Design and Implementation

Integrated Systems

Protocol Testing

Copyright © Sat May 16 23:22:34 2009 by Michael Ley (ley@uni-trier.de)