The following publications are possibly variants of this publication:
- Proving Liveness Property under Strengthened Compassion RequirementsTeng Long, Wenhui Zhang. tamc 2012: 498-508 [doi]
- A Framework for Service-Oriented Digital Twin Systems for Discrete Workshops and Its Practical Case StudyQinglei Zhang, Yang Wei, Zhen Liu, Jianguo Duan, Jiyun Qin. systems, 11(3):156, March 2023. [doi]
- Developing a Stochastic Two-Tier Architecture for Modelling Last-Mile Delivery and Implementing in Discrete-Event SimulationZichong Lyu, Dirk Pons, Jiasen Chen, Yilei Zhang. systems, 10(6):214, 2022. [doi]
- Forecasting per Capita Energy Consumption in China Using a Spatial Discrete Grey Prediction ModelHuiping Wang, Zhun Zhang. systems, 11(6):285, 2023. [doi]