Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters Matthew Hague1,2 and Anthony W. Lin2 1 LIGM (Universit´e Paris-Est), LIAFA (Universit´e Paris Diderot) & CNRS
Add to Reading List
Document Date: 2013-02-08 18:19:57
Open Document
File Size: 219,76 KB
Share Result on Facebook
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters Matthew Hague1,2 and Anthony W. Lin2 1 LIGM (Universit´e Paris-Est), LIAFA (Universit´e Paris Diderot) & CNRS