著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Workshop on Computer Science Logic and European Association for Computer Science Logic and Duparc, Jacques and Henzinger, T. A. (Thomas A.)","Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings",,Springer,2007,Lecture notes in computer science,,9783540749141,,https://cir.nii.ac.jp/crid/1130282269705008512