Efficient Symbolic Detection of Global Properties in Distributed Systems.

Scott D. Stoller, Yanhong A. Liu

Browse the full CAV paper archive.