TY  - RPRT
TI  - Optimized Temporal Monitors for SystemC
AU  - Tabakov, Deian
AU  - Rozier, Kristin Y.
AU  - Vardi, Moshe Y.
PY  - 2012
UR  - https://ntrs.nasa.gov/citations/20120016018
ID  - 20120016018
ER  -