@techreport{weko_30332_1,
   author	 = "篠原,加奈子 and 結縁祥治 and 坂部,俊樹 and 稲垣,康善",
   title	 = "実時間通信プロセスの述語的仕様記述に対する検証法",
   year 	 = "1996",
   institution	 = "名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科, 名古屋大学工学部情報工学科",
   number	 = "33(1995-PRO-006)",
   month	 = "mar"
}