@techreport{weko_27978_1,
   author	 = "大川,保吉 and 米田,友洋",
   title	 = "タイムペトリネットにおけるCTL記号モデル検査法について",
   year 	 = "1994",
   institution	 = "東京工業大学情報工学科, 東京工業大学情報工学科",
   number	 = "93(1994-SLDM-072)",
   month	 = "oct"
}