TY  - RPRT
TI  - Shorter function summaries for finite state machine-based high consequence systems using logic synthesis and tautologies (Final Report LDRD 24-1302)
AU  - Amon, Tod Tracy
PY  - 2024
DO  - 10.2172/2462970
UR  - https://www.osti.gov/biblio/2462970
ID  - 2462970
ER  -