Anthony W. Lin : Publications
Click here to download all publications in a single bibtex file
@article{CAV'12, title = "Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters", author = "Matthew Hague and Anthony Widjaja Lin", year = "In Computer Aided Verification (CAV), 2012", }