DMCA

Multi-Valued Symbolic Model-Checking (2003)

by Marsha Chechik , Benet Devereux , Steve Easterbrook , Arie Gurfinkel
Venue:ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Citations:67 - 17 self