著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"RV (Conference) and Falcone, Yliès and Sánchez, César","Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings",,Springer,2016,Lecture notes in computer science,,9783319469812,,https://cir.nii.ac.jp/crid/1130282270557576960