@techreport{weko_106476_1,
   author	 = "馬庚元 and 林信宏 and 大森洋一 and 日下部茂 and 荒木啓二郎 and 吉武浩 and 古賀昭男 and 原田英治 and 杜翔 and 井上康生",
   title	 = "通信キャリア向けサービス制御ノードの開発における形式仕様策定",
   year 	 = "2014",
   institution	 = "九州大学大学院システム情報科学府, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 九州大学大学院システム情報科学研究院, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社, 富士通九州ネットワークテクノロジーズ株式会社",
   number	 = "14",
   month	 = "nov"
}