Cite
HARVARD Citation
Ngo, V. et al. (2018). Formal verification of probabilistic SystemC models with statistical model checking. Journal of software. 30 (3), p. n/a. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ngo, V. et al. (2018). Formal verification of probabilistic SystemC models with statistical model checking. Journal of software. 30 (3), p. n/a. [Online].