Concepedia
1985 · 148 citations · 0 references
ComputingComputer ScienceComputer SystemsFormal MethodsReal-time SystemsDelay ModelingGraph TheoryTemporal LogicTiming ClosureTiming ModelingNetwork GraphsTemporal Graph AnalysisTemporal GraphsTime-varying Graphs