"An Implementation of an Automated Protocol Synthesizer (APS) and Its ..."

C. V. Ramamoorthy, Siyi Terry Dong, Yutaka Usuda (1985)

Details and statistics

DOI: 10.1109/TSE.1985.232547

access: closed

type: Journal Article

metadata version: 2017-05-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics