TY  - RPRT
TI  - Real-Time Protocol Engineering with the B Language
AU  - Frost, Sandra L.
AU  - Sontowski, Sina
AU  - Guven, Erhan
PY  - 2024
DO  - 10.2172/2342038
UR  - https://www.osti.gov/biblio/2342038
ID  - 2342038
ER  -