TY  - RPRT
TI  - A formal analysis of the BACnet MSTP medium access control protocol 
AU  - Bushby, Steven T
PY  - 1992
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 4777
DO  - 10.6028/NIST.IR.4777
ER  -