Publication | Closed Access

An algebraic approach to data languages and timed languages

Programming Language TheoryEngineeringProgram AnalysisFormal MethodsComputer ScienceData LanguagesTimed SystemFormal VerificationTemporal Database