@inproceedings{weko_121927_1,
   author	 = "李,湘東 and 中田,明夫 and 安本,慶一 and 東野,輝夫 and 谷口,健一",
   title	 = "整数データを含むLOTOS仕様の等価性の証明について",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1992",
   volume	 = "第45回",
   number	 = "ネットワーク",
   pages	 = "171--172",
   month	 = "sep"
}