NGUYEN, T. K., SUN, J., LIU, Y., & DONG, J. S. (2012). Symbolic model-checking of stateful timed CSP using BDD and digitization. Institutional Knowledge at Singapore Management University.
Chicago Style CitationNGUYEN, Truong Khanh, Jun SUN, Yang LIU, and Jin Song DONG. Symbolic Model-checking of Stateful Timed CSP Using BDD and Digitization. Institutional Knowledge at Singapore Management University, 2012.
MLA CitationNGUYEN, Truong Khanh, Jun SUN, Yang LIU, and Jin Song DONG. Symbolic Model-checking of Stateful Timed CSP Using BDD and Digitization. Institutional Knowledge at Singapore Management University, 2012.
Warning: These citations may not always be 100% accurate.