著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "PATMOS and Paliouras, Vassilis and Vounckx, Johan and Verkest, Diederik","Integrated circuit and system design : power and timing modeling, optimization and simulation, 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings",,Springer,2005,Lecture notes in computer science,,3540290133,,https://cir.nii.ac.jp/crid/1130000795358549248