Verification of flow control protocols

282 Downloads (Pure)

Abstract

Udgivelsesdato: 1985

Original language	English
Journal	Computer Communication Review
Volume	15
Issue number	1
ISSN	0146-4833
Publication status	Published - 1985

@article{f6557df00d7b11de8478000ea68e967b,

title = "Verification of flow control protocols",

abstract = "Udgivelsesdato: 1985",

author = "Klaus Hansen",

year = "1985",

language = "English",

volume = "15",

journal = "Computer Communication Review",

issn = "0146-4833",

publisher = "Association for Computing Machinery, Inc.",

number = "1",

}