Publication | Open Access
On the expressive power of temporal logic
89
Citations
12
References
1993
Year
EngineeringAutomated ReasoningDynamic LogicFormal MethodsComputer ScienceTemporal LogicHigher-order LogicFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1