TY  - RPRT
TI  - Formal Support for Standardizing Protocols with State
AU  - Joshua D. Guttman
AU  - Moses D. Liskov
AU  - John D. Ramsdell
AU  - Paul D. Rowe
PY  - 2015
DO  - 10.1007/978-3-319-27152-1_13
UR  - https://arxiv.org/abs/1509.07552
ID  - 1509.07552
ER  -