著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
李 湘東 and 東野 輝夫 and 谷口 健一,データを含むLOTOS記述に対するテスト系列の自動生成の一手法,"電子情報通信学会論文誌. B-1, 通信. 1, 情報通信システム・理論 = The Transactions of the Institute of Electronics, Information and Communication Engineers. B-1",09151877,東京 : 電子情報通信学会通信ソサイエティ,1992-11,75,11,p734-743,https://cir.nii.ac.jp/crid/1520009410281593600,