Old Web
English
Sign In
Acemap
>
Paper
>
Completeness results for full branching time logic
Completeness results for full branching time logic
1988
Colin Stirling
Keywords:
Discrete mathematics
Branching (version control)
Completeness (statistics)
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
4
Citations
NaN
KQI
[]