Parlato, Gennaro (2015) On Sequentializing Concurrent Programs -- Bounded Model Checking. UPMARC Summer School on Multicore Computing 2015, Uppsala, Sweden.
Record type:
Conference or Workshop Item
(Other)
More information
Published date: 9 June 2015
Venue - Dates:
UPMARC Summer School on Multicore Computing 2015, Uppsala, Sweden, 2015-06-08
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 382006
URI: http://eprints.soton.ac.uk/id/eprint/382006
PURE UUID: 8626e3e4-f66a-4a6c-9e7f-adcca01d25c8
Catalogue record
Date deposited: 27 Sep 2015 22:43
Last modified: 14 Mar 2024 21:24
Export record
Contributors
Author:
Gennaro Parlato
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.