Using CSP to detect errors in the TMN protocol
A. W. Roscoe and G. Lowe
Details
| Institution |
University of Leicester |
| Note |
and IEEE transactions on Software Engineering Vol 23 (1997) |
| Year |
1996 |
Links
Related pages
|
People |