DMCA

Model Checking vs. Theorem Proving: A Manifesto (1991)

Cached

Download Links

by Joseph Y. Halpern , Moshe Y. Vardi
Citations:135 - 6 self