Skip to main content

Using CSP to detect errors in the TMN protocol

A. W. Roscoe and G. Lowe

Institution
University of Leicester
Note
and IEEE transactions on Software Engineering Vol 23 (1997)
Year
1996