Cite
MLA Citation
Nesrine Harrath and Bruno Monsuez. “Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction.” International journal of critical computer-based systems, vol. 5, 2014, pp. 268–299. http://access.bl.uk/ark:/81055/vdc_100071940671.0x000009