Publication | Closed Access
On the completeness and decidability of duration calculus with iteration
11
Citations
11
References
2005
Year
EngineeringReachability ProblemFormal MethodsDuration CalculusComputational ComplexityComputer ScienceTemporal LogicLambda CalculusTimed SystemFormal VerificationComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1