Model Checking and Abstraction

Edmund M. Clarke, Orna Grumberg, David E. Long. Model Checking and Abstraction. In POPL. pages 342-354, 1992.

No reviews for this publication, yet.