Automated verification of connection management of NBS class 4 transport protocol

Publisher Website

1 January 1984

conference paper
conference paper
Published by Association for Computing Machinery (ACM)

Vol. 14 (2), 83-89
https://doi.org/10.1145/800056.802064

Abstract

No abstract available

Cited by 4 articles