APA Citation

JEGOUREL, C., SUN, J., & DONG, J. S. (2018). On the sequential massart algorithm for statistical model checking. Institutional Knowledge at Singapore Management University.

Chicago Style Citation

JEGOUREL, Cyrille, Jun SUN, and Jin Song DONG. On the Sequential Massart Algorithm for Statistical Model Checking. Institutional Knowledge at Singapore Management University, 2018.

MLA Citation

JEGOUREL, Cyrille, Jun SUN, and Jin Song DONG. On the Sequential Massart Algorithm for Statistical Model Checking. Institutional Knowledge at Singapore Management University, 2018.

Warning: These citations may not always be 100% accurate.