Wang, C., Cavarra, A., & Davies, J. (2011). Formal and Model−Based Testing of Concurrent Workflows. IEEE.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Wang, C., A. Cavarra, và J. Davies. Formal and Model−Based Testing of Concurrent Workflows. IEEE, 2011.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Wang, C., et al. Formal and Model−Based Testing of Concurrent Workflows. IEEE, 2011.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.