Monitoring of Probabilistic Timed Property Sequence Charts.

MLA

Zhang, Pengcheng, et al. “Monitoring of Probabilistic Timed Property Sequence Charts.” Software: Practice & Experience, vol. 41, no. 7, June 2011, pp. 841–66. EBSCOhost, https://doi.org/10.1002/spe.1038.

APA

Zhang, P., Li, W., Wan, D., & Grunske, L. (2011). Monitoring of Probabilistic Timed Property Sequence Charts. Software: Practice & Experience, 41(7), 841–866. https://doi.org/10.1002/spe.1038

Chicago

Zhang, Pengcheng, Wenrui Li, Dingsheng Wan, and Lars Grunske. 2011. “Monitoring of Probabilistic Timed Property Sequence Charts.” Software: Practice & Experience 41 (7): 841–66. doi:10.1002/spe.1038.