@techreport{weko_22136_1,
   author	 = "堀,正弘 and 伊藤光恭 and 福永,勇二 and 永石,勉",
   title	 = "INにおけるサービスロジックが伝達網を制御する部分に着目した検証方法の提案と実装",
   year 	 = "1992",
   institution	 = "日本電信電話株式会社ソフトウェア研究所, 日本電信電話株式会社ソフトウェア研究所, 日本電信電話株式会社ソフトウェア研究所, 日本電信電話株式会社ソフトウェア研究所",
   number	 = "100(1992-SE-089)",
   month	 = "dec"
}