@techreport{weko_35900_1,
   author	 = "高橋,薫 and 加藤,靖 and 安藤,敏彦 and 野口,正一",
   title	 = "LOTOSと時制論理に基づくプロトコル検証",
   year 	 = "1992",
   institution	 = "東北大学電気通信研究所, 仙台電波高専, 仙台電波高専, 東北大学応用情報学研究センター",
   number	 = "91(1992-DPS-058)",
   month	 = "nov"
}