TY  - RPRT
TI  - Behavior Computation for Smart Grid Software Analysis
AU  - Linger, Richard C
AU  - Pleszkoch, Mark G
AU  - Prowell, Stacy J
AU  - Sayre, Kirk D
PY  - 2011
DO  - 10.1145/2179298.2179354
UR  - https://www.osti.gov/biblio/1334417
ID  - 1334417
ER  -