Multi-Valued Symbolic Model-Checking (2003)

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