著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "PATMOS and Azemard, Nadine and Svensson, Lars","Integrated circuit and system design : power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, proceedings",,Springer,2007,Lecture notes in computer science,,9783540744412,,https://cir.nii.ac.jp/crid/1130000794791848320