01640nlm0 22004571i 450 9900092386304033219783540472384000923863FED01000923863(Aleph)000923863FED0100092386320100926d2006----km-y0itay50------baengDEdrnn-008mamaaAutomated Technology for Verification and AnalysisRisorsa elettronica4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedingsedited by Susanne Graf, Wenhui ZhangBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434218Documento elettronicoTestoFormato html, pdfGraf,SusanneZhang,WenhuiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11901914EB990009238630403321Computer 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