Li, Yujie, and Zhengsheng Chen. 2025. “A Study on the PRISM-Based Scheduling Model for Multi-Constrained Systems”. Highlights in Science, Engineering and Technology 155 (September): 172-81. https://doi.org/10.54097/9w5e3466.