01292nam--2200361---450-99000296405020331620070821114256.03-540-29189-X000296405USA01000296405(ALEPH)000296405USA0100029640520070821d2005----km-y0itay0103----baengDEa|||||||001yyFormal Techniques for Networked and Distributed Systems - FORTE 200525th IFIP WG 6.1 International ConferenceTaipei. Taiwan, October 2-5, 2005proceedingsFarn Wang(Ed.)Berlin [etc.]Springercopyr. 2005XII, 558 p.ill.24 cmLecture notes in computer science37312001Lecture notes in computer science3731Sistemi distribuitiCongressiTaipei20054004.36WANG,FarnIFIP WG 6.1 International Conference<25. ;2005 ;Taipei>597952ITsalbcISBD990002964050203316001 LNCS 373132437/CBS00100112757BKSCISENATORE9020070821USA011142Formal Techniques for Networked and Distributed Systems - FORTE 20051026693UNISA