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
/
Fig 7
/
Research Article
Model Checking Temporal Logic Formulas Using Sticker Automata
Figure 7
Some examples on LFSA: the systematic models of the experiments in this paper.
(a)
A systematic FSA
M
1
(b)
A systematic FSA
M
2
(c)
A systematic FSA
M
3