Using CSP to Detect Errors in the TMN Protocol
Gavin Lowe and A. W. Roscoe
Details
| Journal |
IEEE Trans. Software Eng. |
| Number |
10 |
| Pages |
659−669 |
| Volume |
23 |
| Year |
1997 |
Links
Related pages
|
People |