Next Article in Journal
Robust Control for Active Suspension of Hub-Driven Electric Vehicles Subject to in-Wheel Motor Magnetic Force Oscillation
Next Article in Special Issue
Abstracting Strings for Model Checking of C Programs
Previous Article in Journal
Unveiling a Recycling-Sourced Mineral-Biocellulose Fibre Composite for Use in Combustion-Generated NOx Mitigation Forming Plant Nutrient: Meeting Sustainability Development Goals in the Circular Economy
Previous Article in Special Issue
Static Analysis for ECMAScript String Manipulation Programs
 
 

Order Article Reprints

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

Article: An Abstraction Technique for Verifying Shared-Memory Concurrency
Authors: by Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Link: https://www.mdpi.com/2076-3417/10/11/3928

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.

Quote and Order 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