Compositional Model Checking (1999)

by E. M. Clarke , D. E. Long , K. L. Mcmillan
Citations:2403 - 62 self

Document Versions

Compositional Model Checking –E. M. Clarke, D. E. Long, K. L. Mcmillan — 1999
D.: Model Checking –Edmund M. Clarke — 1999
Model Checking –Edmund M. Clarke, Bernd-Holger Schlingloff, Second Readers Nikolaj Bjorner, Perdita Stevens — 2000