Specifying and Verifying Event-Based Fairness Enhanced Systems.

Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang

Browse the full ICFEM paper archive.