01429cam a22003135a 45000010009000000050017000090080041000260200018000670400059000850820020001441110055001642450240002192460015004592460016004742600045004903000032005354900059005675040058006266500053006846500047007376500058007846510010008426530025008527000032008777000038009099420008009479990017009559520143009721760448020161227123351.0130128t2013    gw a   frb    101 0 eng d  a9783642367809  aHUAcHUAdOCLCOdOHXdOCLCFdOCLCOdDLCdEG-ScBUEbeng04222a004.24bCOM2 aEPEW (Workshop)n(9th :d(2012 :cMunich, Germany)10aComputer performance engineering :b9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 : revised selected papers /ceditors Mirco Tribastone, Stephen Gilmore.30aEPEW 2012.30aUKPEW 2012.  aBerlin ;aNew York :bSpringer,cc.2013.  ax, 251 p. :bill. ;c24 cm.0 aLecture notes in computer science,x0302-9743 ;v7587.  aIncludes bibliographical references and author index. 7aComputer systemsxEvaluationvCongresses.2BUEsh 7aComputersxReliabilityvCongresses.2BUEsh 7aFormal methods (Computer science)vCongresses.2BUEsh  2BUEsh  bCOMSCIcDecember20161 aTribastone, Mirco.eeditor.1 aGilmore, Stephen,d1962-eeditor.  2ddc  c23769d23741  00102ddc40708BaccahaMAINbMAINcLOWd2016-12-27ePurchaseg460.00h2000088l0o004.24 COMp000040660r2025-07-15 00:00:00v575.00yBB