Correct and Efficient Antichain Algorithms for Refinement Checking.

Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse

Browse the full FORTE paper archive.