Concepedia

Publication | Closed Access

Characterizing finite Kripke structures in propositional temporal logic

DOI

415

Citations

14

References

1988

Year

M. C. Browne, E. M. Clarke, Orna Grümberg
Theoretical Computer Science

References

YearCitations

Page 1