Variable graph minimization for improved model-checking performance

Michael W Whalen, Steven P. Miller

Research output: Other contribution

Original languageUndefined/Unknown
StatePublished - Dec 1 2009

Bibliographical note

US Patent 7,640,536

OpenUrl availability

Full text

Cite this