Ching-Tsun Chou, Doron Peled. Formal Verification of a Partial-Order Reduction Technique for Model Checking. Journal of Automated Reasoning, 23(3-4):265-298, 1999.
No references recorded for this publication.
No citations of this publication recorded.