Shinji Kimura: "Formal Language Satisfying Temporal Logic Formula" Transactions of the Institute of Electronics, Information and Communication Engineers. J70-D. 10-18 (1987)
Shinji Kimura: "Formal Language Satisfying Temporal Logic Formula" Transactions of the Institute of Electronics, Information and Communication Engineers. J70-D. 10-18 (1987)
复制标题
Shinji Kimura：《形式语言满足时间逻辑公式》电子、信息和通信工程师学会汇刊。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
