Journals
Publish with us
Publishing partnerships
About us
Blog

BioMed Research International

For authors For reviewers For editors Table of Contents

BioMed Research International/
2017/
Article/
Fig 14 /

Research Article

Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 14

FSA of formula: merged graph A₅ of A₂ and A₃.

About Us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers
Partnerships

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy

Modern slavery statement

Cookie Preferences