More Anti-chain Based Refinement Checking.

Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li

Browse the full ICFEM paper archive.