Journals
Publish with us
Publishing partnerships
About us
Blog

Journal of Applied Mathematics

For authors For reviewers For editors Table of Contents

Journal of Applied Mathematics/
2013/
Article/
Fig 12 /

Research Article

Formal Modeling and Verification for MVB

Figure 12

Model of a BusAdmin constructed in M³C.

470139.fig.0012

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