Model Checking with SAT-Based Characterization of ACTL Formulas.

Wenhui Zhang

Browse the full ICFEM paper archive.