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 provides article reprints in high quality with convenient shipping to destinations worldwide. The articles are printed in on premium paper with high-resolution figures. Our covers are customized to your article and designed to be complimentary to the journal. These reprints are ideal additions to your portfolio. Copy details: 135g/m2 paper, 2x stitched, full colour and glossy finish, orderable in quantities from 10 to 1000.

If you have any questions, or special requests, please write to our support team; we are happy to provide you with the information you need.

Reprint Options

If you need more than 400 copies, please contact us by e-mail (publisher@mdpi.com) and we will prepare an individual offer for you.

Order Cost and Details

Contact Person

Invoice Address

Notes or Comments

Validate and Place Order

The order must be prepaid after it is placed

req denotes required fields.
Back to TopTop