@inproceedings{weko_89054_1,
   author	 = "山根,智",
   title	 = "分散システムの仕様記述と検証に関する研究",
   booktitle	 = "マルチメディア通信と分散処理ワークショップ論文集",
   year 	 = "1994",
   volume	 = "1994",
   number	 = "1",
   pages	 = "21--30",
   month	 = "oct"
}