Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
Matthew Hague and Anthony Widjaja Lin
Details
| Year |
In Computer Aided Verification (CAV)‚ 2012 |
Links
Related pages
|
People |
|
|
Activities |