@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",
}