Publication | Closed Access

Temporal reasoning based on semi-intervals

EngineeringAutomated ReasoningFormal MethodsTemporal DataComputer ScienceTemporal LogicTimed SystemTemporal Reasoning