著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "PATMOS and Hochet, Bertrand and Acosta, Antonio J. and Bellido, Mannuel J.","Integrated circuit design : power and timing modeling, optimization and simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings",,Springer,2002,Lecture notes in computer science,,3540441433,,https://cir.nii.ac.jp/crid/1130000794930157056