@techreport{weko_30677_1,
   author	 = "浅井,健一 and 松岡,聡 and 米澤,明憲",
   title	 = "制御部有限の CSP プログラムのモデル検査",
   year 	 = "1992",
   institution	 = "東京大学 理学部 情報科学科, 東京大学 理学部 情報科学科, 東京大学 理学部 情報科学科",
   number	 = "20(1991-PRO-006)",
   month	 = "mar"
}