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 2
/
Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Table 2
Relationships: the four formulas of temporal logic and their FSA models, where
is the logical duality of U.
The formula
prj
FSA of formula
A
1
A
2
A
3
A
4