Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.

Teng Long, Wenhui Zhang

Browse the full ATVA paper archive.