著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
Working on Tools for Solving Structured Markov Chains and VALUETOOLS,"Working on Tools for Solving Structured Markov Chains, SMC TOOLS 2006 : held at VALUETOOLS 2006, October 10, Pisa, Italy",,Association for Computing Machinery,2006,ACM international conference proceedings series,,9781604232714,,https://cir.nii.ac.jp/crid/1130000794495683072