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

Cached

Download Links

by Joseph Y. Halpern , Moshe Y. Vardi
Citations:117 - 5 self