Paul Curzon. The Formal Verification of an ATM Network. In PODC. pages 392, 1994.
@inproceedings{Curzon94,
title = {The Formal Verification of an ATM Network},
author = {Paul Curzon},
year = {1994},
researchr = {https://researchr.org/publication/Curzon94},
cites = {0},
citedby = {0},
pages = {392},
booktitle = {PODC},
}