TY  - RPRT
TI  - A phase transition model and temporal logic specifications for smart energy systems - revisited
AU  - Park, Byungkwon
AU  - Olama, Mohammed M.
PY  - 2020
UR  - https://www.osti.gov/biblio/1651361
ID  - 1651361
ER  -