Axiom system induced by CTL* Logic
Authors:
Maciej Koutny
Affiliations:
-
Venue:
Fundamenta Informaticae
Year:
1991
Citing
0
Cited
1
Three logics for branching bisimulation
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract