Variable graph minimization for improved model-checking performance

Michael W Whalen, Steven P. Miller

Computer Science and Engineering

Research output: Other contribution

Original language	Undefined/Unknown
State	Published - Dec 1 2009

Bibliographical note

US Patent 7,640,536

Find It

Find It at U of M Libraries

Cite this