01494nam2-2200397---450-99000314718020331620080929101348.0978-3-540-72482-7000314718USA01000314718(ALEPH)000314718USA0100031471820080919d2007----km-y0itay50------baengDEa---||||001yyFormal methods for performance evaluation7th international school on formal methods for the design of computer, communication and software systems, SFM 2007Bertinoro, Italy, May 28-June 2, 2007proceedingsMarco Bernardo, Jane Hillston (Eds.)Berlin [etc.]Springercopyr. 2007VI, 467 p.ill.24 cmLecture notes in computer scienceTutorial44862001Lecture notes in computer science0010003149602001Lecture notes in computer scienceSistemi di comunicazione digitaleCongressiBertinoro2007Elaboratori elettroniciCongressiBertinoro2007621.382BERNARDO,MarcoHILLSTON,JaneITsalbcISBD990003147180203316001 LNCS 448635038/CBS00100215156BKSCICBAS1020080919USA011011CBAS1020080929USA011013Formal Methods for Performance Evaluation772734UNISA