@techreport{weko_145124_1, author = "三浦,克宜 and 齋藤,篤志 and 棟朝,雅晴", title = "述語論理式による仕様記述に基づくクラウドブローキングの提案", year = "2015", institution = "北見工業大学, 北海道大学, 北海道大学", number = "6", month = "sep" }