Formal Verification of Arbitrary Network Topologies
A. W. Roscoe and S.J. Creese
Details
| Book Title |
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99) |
| Month |
June |
| Publisher |
CSREA Press |
| Volume |
II |
| Year |
1999 |
Links
Related pages
|
People |