Deciding Full Branching Time Logic

authors: E. Allen Emerson, A. Prasad Sistla

venue (journal): Information and Control

date: 1984

specification languages

• CTL*

keywords

(nil)

URL

• https://dx.doi.org/10.1016/S0019-9958(84)80047-9 (auto-generated link)

BibTeX

@article{f7e5ca5d-2492-4125-aaa6-2b9ba22e7a64,
  title = {Deciding Full Branching Time Logic},
  author = {E. Allen Emerson AND A. Prasad Sistla},
  year = {1984},
  journal = {Information and Control},
}