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