01532nam--2200409---450-99000296455020331620070822133120.03-540-28584-9000296455USA01000296455(ALEPH)000296455USA0100029645520070822d2005----km-y0itay0103----baengDEa|||||||001yyFormal techniques for computer systems and business processeseuropean performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005Versailles, France, September 1-3, 2005proceedingsMario Bravetti, Leila Kloul, Gianluigi Zavattaro (eds.)Berlin [etc.]Springercopyr. 2005XIII, 348 p.ill.24 cm.Lecture notes in computer science36702001Lecture notes in computer science36702001001-------2001InformaticaCongressiVersailles2005005.1BRAVETTI,MarioKLOUL,LeilaZAVATTARO,GianluigiInternational symposium, SAS 2005<2005 ;Versailles>597994ITsalbcISBD990002964550203316001 LNCS 367032309/CBS001 LNCS00112833BKSCISENATORE9020070822USA011331Formal techniques for computer systems and business processes1026619UNISA