Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer. From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods in System Design, 23(3):303-327, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.