-
Order Details
1
-
Confirm
2
Article Details
- Journal Title
- BioMed Research International
- Volume
- 2017
- Article Title
- Model Checking Temporal Logic Formulas Using Sticker Automata
- List of Authors
-
- Changwei Feng
- Huanmei Wu
- Article ID
- 7941845
- Article Type
- Research Article
- No. of Pages
- 33 Pages
- Additional Authors
Invoice Details
- Invoice Issue Date
- 3 May 2024
- Type of Reprints
- Colored, Covered
- Invoice Ref. No.
- Terms
- Payable upon Receipt
Charges
- No. of Copies
- Reprints Charges
- 0.00
- Total
- $