@article{weko_14185_1,
   author	 = "小林,久浩 and 河田,恭郎 and 前川,守 and 川崎,章 and 薮,彰文 and 小野川,公也",
   title	 = "実行可能な仕様記述におけるプラント制御システムの環境のモデル化",
   journal	 = "情報処理学会論文誌",
   year 	 = "1994",
   volume	 = "35",
   number	 = "7",
   pages	 = "1402--1409",
   month	 = "jul"
}