The formalization and analysis of a communications protocol

Authors
Glenn Bruns Stuart Anderson
Citation
Glenn Bruns et Stuart Anderson, The formalization and analysis of a communications protocol, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 92-112
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
1
Year of publication
1994
Pages
92 - 112
Database
ACNP
SICI code