%0 Journal Article
%T 旋转货架系统运行过程的时态逻辑描述与分析
%A 刘长有
%A 徐心和
%A 田国会
%J -
%D 1998
%K 离散事件系统
%K 时态逻辑
%K 自动化仓库
%K 旋转货架系统
%U http://www.aas.net.cn:80/article/id/16871