Publication | Closed Access

Interval logics and their decision procedures Part II: A real-time interval logic

Applied LogicFuzzy LogicEngineeringAutomated ReasoningReal-time OperationVerificationFormal MethodsInterval LogicsSystems EngineeringReal-time ComputingReal-time Interval LogicReal-time SystemsComputer ScienceTemporal LogicTimed SystemFormal Verification