Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn. Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods in System Design, 9(1/2):77-104, 1996.
No references recorded for this publication.
No citations of this publication recorded.