SUN, J., LIU, Y., SONG, S., DONG, J. S., & LI, X. (2011). PRTS: An approach for model checking probabilistic real-time hierarchical systems. Institutional Knowledge at Singapore Management University.

SUN, Jun, Yang LIU, Songzheng SONG, Jin Song DONG, و Xiaohong LI. PRTS: An Approach for Model Checking Probabilistic Real-time Hierarchical Systems. Institutional Knowledge at Singapore Management University, 2011.

SUN, Jun, et al. PRTS: An Approach for Model Checking Probabilistic Real-time Hierarchical Systems. Institutional Knowledge at Singapore Management University, 2011.