Elias Procópio Duarte Jr., Martin A. Musicante, Diógenes Cogo Furlan. Formal specification of SNMPv3 entities using action semantics. Int. Journal of Network Management, 14(5):295-303, 2004. [doi]
@article{DuarteMF04,
title = {Formal specification of SNMPv3 entities using action semantics},
author = {Elias Procópio Duarte Jr. and Martin A. Musicante and Diógenes Cogo Furlan},
year = {2004},
doi = {10.1145/1024511.1024513},
url = {http://doi.acm.org/10.1145/1024511.1024513},
tags = {semantics, formal semantics, action semantics},
researchr = {https://researchr.org/publication/DuarteMF04},
cites = {0},
citedby = {0},
journal = {Int. Journal of Network Management},
volume = {14},
number = {5},
pages = {295-303},
}