著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Reachability Problems and Bournez, Olivier and Formenti, Enrico and Potapov, Igor","Reachability problems : 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings",,Springer,2023,Lecture notes in computer science,,9783031452857,,https://cir.nii.ac.jp/crid/1130017102589182872