TY  - JOUR
AU  - Nguyen, Thanh
AU  - Bundas, Matthew
AU  - Son, Tran
AU  - Balduccini, Marcello
AU  - Garwood, Kathleen Campbell
AU  - Griffor, Edward
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  -