Cite
HARVARD Citation
Harrath, N. et al. (2014). Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. International journal of critical computer-based systems. pp. 268-299. [Online].