@article{weko_17060_1,
   author	 = "石井,大輔 and 上田,和紀 and 細部博史",
   title	 = "ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法",
   journal	 = "情報処理学会論文誌数理モデル化と応用（TOM）",
   year 	 = "2008",
   volume	 = "1",
   number	 = "1",
   pages	 = "149--159",
   month	 = "sep"
}