A General Model for Reachability Testing of Concurrent Programs.

Richard H. Carver, Yu Lei

Browse the full ICFEM paper archive.