Anthony W. Lin : Publications
Journal papers
-
[1]
Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
Matthew Hague and Anthony Widjaja Lin
In Computer Aided Verification (CAV), 2012.
Details about Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | BibTeX data for Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters | Download (pdf) of Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters