01646nlm0 22004571i 450 9900092367304033219783540319696000923673FED01000923673(Aleph)000923673FED0100092367320100926d2005----km-y0itay50------baengDEdrnn-008mamaaAutomated Technology for Verification and AnalysisRisorsa elettronicaThird International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedingsedited by Doron A. Peled, Yih-Kuen TsayBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433707Documento elettronicoTestoFormato html, pdfPeled,Doron A.Tsay,Yih-KuenITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11562948EB990009236730403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceInformation systemsInformation Systems and Communication ServiceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsAutomated Technology for Verification and Analysis772478UNINA