Investigating a file transfer protocol using CSP and B.

Saved in:

Bibliographic Details
Title:	Investigating a file transfer protocol using CSP and B.
Authors:	Evans, Neil¹, Treharne, Helen²
Source:	Software & Systems Modeling; Jul2005, Vol. 4 Issue 3, p258-276, 19p
Database:	Applied Science & Technology Source

Description
ISSN:	16191366
DOI:	10.1007/s10270-005-0084-3