@techreport{weko_35403_1,
   author	 = "水野,健太郎 and 安本,慶一 and 森岡,澄夫 and 東野,輝夫 and 谷口,健一",
   title	 = "通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法",
   year 	 = "1997",
   institution	 = "大阪大学基礎工学部情報科学科, 滋賀大学経済学部情報管理学科, 大阪大学基礎工学部情報科学科, 大阪大学基礎工学部情報科学科, 大阪大学基礎工学部情報科学科",
   number	 = "13(1996-DPS-080)",
   month	 = "jan"
}