著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
李 湘東 and 東野 輝夫 and 樋口 昌宏,拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法,"電子情報通信学会論文誌. B-1, 通信. 1, 情報通信システム・理論 = The Transactions of the Institute of Electronics, Information and Communication Engineers. B-1",09151877,東京 : 電子情報通信学会通信ソサイエティ,1996-04,79,4,137-147,https://cir.nii.ac.jp/crid/1520290885261268864,