中 田 明 夫: "時間制約と出入力データに関する条件判定が同時に記述できるオートマトンモデルとその双模倣等価性検証法"情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 37-42 (1999)
中 田 明 夫: "時間制約と出入力データに関する条件判定が同時に記述できるオートマトンモデルとその双模倣等価性検証法"情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 37-42 (1999)
复制标题
Akio Nakata：“一种可以同时描述有关时间约束和输入/输出数据的条件判断的自动机模型及其双仿等价验证方法”，日本信息处理学会多媒体通信和分布式处理研讨会论文集37-42（1999）。 ）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
