Login / Signup

A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.

Qingwei WuMichael S. Hsiao
Published in: IEEE Trans. Computers (2006)
Keyphrases