Journals
Publish with us
Publishing partnerships
About us
Blog
BioMed Research International
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
BioMed Research International
/
2017
/
Article
/
Tab 3
/
Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Table 3
The relationships between the existence and the universal CTL formulas.
Existence formulas
Universal formulas
Relationships
E
A
EG
AF
EF
AG
EX
AX