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