Skip to main content

Formal Verification of Arbitrary Network Topologies

A. W. Roscoe and S.J. Creese

Book Title
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)
Publisher
CSREA Press
Volume
II
Year
1999