Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.

Yuanjie Si, Jun Sun, Yang Liu, Ting Wang

Browse the full ICFEM paper archive.