DMCA

Tree-Like Counterexamples in Model Checking (2002)

Cached

Download Links

by Edmund Clarke , Yuan Lu , Broadcom Com , Helmut Veith , Somesh Jha
Venue:In Proceedings of the 17 th Annual IEEE Symposium on Logic in Computer Science (LICS’02
Citations:61 - 5 self