Zhong, W., Zhou, J., & Sun, T. Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking. Wiley.
Chicago Style (17th ed.) CitationZhong, Wenjie, Jian‐tao Zhou, and Tao Sun. Concurrent Software Fine‐coarse‐grained Automatic Modelling by Coloured Petri Nets for Model Checking. Wiley.
MLA (9th ed.) CitationZhong, Wenjie, et al. Concurrent Software Fine‐coarse‐grained Automatic Modelling by Coloured Petri Nets for Model Checking. Wiley.
Warning: These citations may not always be 100% accurate.