On Sequentializing Concurrent Programs -- Bounded Model Checking


Parlato, Gennaro (2015) On Sequentializing Concurrent Programs -- Bounded Model Checking At UPMARC Summer School on Multicore Computing 2015.

Download

[img] Microsoft PowerPoint UPMARC Summer School-Sequentialization 2.ppt - Other
Download (8MB)
Item Type: Conference or Workshop Item (Other)
Venue - Dates: UPMARC Summer School on Multicore Computing 2015, 2015-06-09
Organisations: Electronic & Software Systems
ePrint ID: 382006
Date :
Date Event
9 June 2015Published
Date Deposited: 27 Sep 2015 22:43
Last Modified: 22 Feb 2017 07:56
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/382006

Actions (login required)

View Item View Item