SPECIFICATION AND ANALYSIS OF THE RUNNING PROCESS OF THE CAROUSEL SYSTEM BASED PROCESS OF THE CAROUSEL SYSTEM BASED

• 旋转货架系统运行过程的时态逻辑描述与分析