01449nlm0 22004091i 450 9900092399104033219783540450313000923991FED01000923991(Aleph)000923991FED0100092399120100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Modeling and Analysis of Timed SystemsRisorsa elettronica4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedingsedited by Eugene Asarin, Patricia BouyerBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434202Documento elettronicoTestoFormato html, pdfAsarin,EugeneBouyer,PatriciaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11867340EB990009239910403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Modeling and Analysis of Timed Systems772562UNINA