著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"IFIP TC6 / WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems and Kim, Myungchul and Chin, Byoungmoon and Kang, Sungwon and Lee, Danhyung",Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6,,Kluwer Academic Publishers,2001,The International Federation for Information Processing,,0792374703,,https://cir.nii.ac.jp/crid/1130000794903013760