Next Article in Journal
Improved Long Short-Term Memory Network with Multi-Attention for Human Action Flow Evaluation in Workshop
Next Article in Special Issue
An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
Previous Article in Journal
Continuous Genetic Algorithms in the Optimization of Logistic Networks: Applicability Assessment and Tuning
Previous Article in Special Issue
An Abstraction Technique for Verifying Shared-Memory Concurrency
 
 

Order Article Reprints

Journal: Appl. Sci., 2020
Volume: 10
Number: 7853

Article: Abstracting Strings for Model Checking of C Programs
Authors: by Henrich Lauko, Martina Olliaro, Agostino Cortesi and Petr Roc̆kai
Link: https://www.mdpi.com/2076-3417/10/21/7853

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Order Cost and Details

Shipping Address

Billing Address

Notes or Comments

Validate and Place Order

The order must be prepaid after it is placed

req denotes required fields.
Back to TopTop