Concepedia
Publication | Closed Access
The temporal logic of branching time
371
Citations
8
References
1983
Year
EngineeringAutomated ReasoningFormal MethodsComputer ScienceTemporal LogicTimed SystemBranching Time
Page 1