Authors: Stuart, DA Brockmeyer, M Mok, AK Jahanian, F

Citation: Da. Stuart et al., Simulation-verification: Biting at the state explosion problem, IEEE SOFT E, 27(7), 2001, pp. 599-617

Authors: Kuo, TW Mok, AK

Citation: Tw. Kuo et Ak. Mok, Real-time data semantics and similarity-based concurrency control, IEEE COMPUT, 49(11), 2000, pp. 1241-1254

Authors: Chen, D Mok, AK Nixon, M

Citation: D. Chen et al., Providing real-time support through component object model, MICROPR MIC, 23(3), 1999, pp. 145-154