J. William Atwood, Morteza Ghodrat, Dariusz Tasak. Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. In LCN. pages 117, 1999. [doi]
@inproceedings{AtwoodGT99,
title = {Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols},
author = {J. William Atwood and Morteza Ghodrat and Dariusz Tasak},
year = {1999},
url = {http://computer.org/proceedings/lcn/0309/03090117abs.htm},
tags = {protocol},
researchr = {https://researchr.org/publication/AtwoodGT99},
cites = {0},
citedby = {0},
pages = {117},
booktitle = {LCN},
}