DMCA

R.: Verifying multi-threaded c programs with spin

by Anna Zaks , Rajeev Joshi
Venue:Model Checking Software, 15th International SPIN Workshop
Citations:7 - 1 self