@techreport{weko_30271_1,
   author	 = "鈴木,晃 and 結縁祥治 and 坂部,俊樹 and 稲垣,康善",
   title	 = "SCCS動作式に対するunfold変換によるLTSモデルの効率的な構成法　（並列・分散）",
   year 	 = "1997",
   institution	 = "名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科",
   number	 = "9(1996-PRO-011)",
   month	 = "jan"
}