"A methodology for protocol design and specification based on an extended ..."

Richard Chung (1984)

Details and statistics

DOI: 10.1145/800056.802057

access: closed

type: Journal Article

metadata version: 2021-07-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics