@inproceedings{weko_88879_1,
   author	 = "中田,明夫 and 服部,哲 and 東野,輝夫 and 谷口,健一",
   title	 = "時間制約と入出力データに関する条件判定が同時に記述できるオートマトンモデルとその双模倣等価性検証法",
   booktitle	 = "マルチメディア通信と分散処理ワークショップ論文集",
   year 	 = "1999",
   volume	 = "1999",
   number	 = "18",
   pages	 = "37--42",
   month	 = "dec"
}