A.Nakata: "LOTOS Enhancement to specify Time Constraints among Non-adjacent Actions using 1st-order Logic" Proc. of the sixth Int。Conf. on Formal Description Techniques (FORTE'93). 453-468 (1993)
A.Nakata: "LOTOS Enhancement to specify Time Constraints among Non-adjacent Actions using 1st-order Logic" Proc. of the sixth Int。Conf. on Formal Description Techniques (FORTE'93). 453-468 (1993)
复制标题
A.Nakata：“使用一阶逻辑指定非相邻动作之间的时间约束的 LOTOS 增强”第六期 Int 过程。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
