TY  - JOUR
AU  - Thanh Nguyen
AU  - Matthew Bundas
AU  - Tran Son
AU  - Marcello Balduccini
AU  - Kathleen Campbell Garwood
AU  - Edward Griffor
C2  - Theory and Practice of Logic Programming
DA  - 2022-03-03 05:03:00
DO  - https://doi.org/10.1017/S1471068422000035
LA  - en
PB  - Theory and Practice of Logic Programming
PY  - 2022
TI  - Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
ER  -