著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CAV (Conference) and Halbwachs, Nicolas and Peled, Doron","Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings",,Springer-Verlag,1999,Lecture notes in computer science,,3540662022,,https://cir.nii.ac.jp/crid/1130282269373667968