Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, et al.: "Analysis of Synchronous and Asynchronous Cellular Automata using Abstraction by Temporal Logic"Functional and Logic Programming (FLOPS 2004), LNCS 2998. 7-21 (2004)
Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, et al.: "Analysis of Synchronous and Asynchronous Cellular Automata using Abstraction by Temporal Logic"Functional and Logic Programming (FLOPS 2004), LNCS 2998. 7-21 (2004)
复制标题
Masami Hagiya、Koichi Takahashi、Mitsuharu Yamamoto 等人：“使用时间逻辑抽象分析同步和异步元胞自动机”函数和逻辑编程 (FLOPS 2004)，LNCS 2998. 7-21 (2004)
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
