I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Automated verification of connection management of NBS clas..:

, In: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium,
Sidhu, Deepinder P. ; Blumer, Thomas P. - p. 83-89 , 1984
Link: https://dl.acm.org/doi/10.1145/800056.802064