Publication | Closed Access
Temporal logic can be more expressive
658
Citations
14
References
1983
Year
EngineeringAutomated ReasoningFormal MethodsTemporal DataComputer ScienceTemporal LogicSemanticsTemporal ReasoningTemporal Database
| Year | Citations | |
|---|---|---|
Page 1
Page 1