| Title | Improving Efficiency of Symbolic Model Checking for State-Based System Requirements |
| Publication Type | Miscellaneous |
| Year of Publication | 1998 |
| Authors | Chan W, Anderson RJ, Beame P., Notkin D |
| Date or Month Published | January |
| Citation Key | cabn:issta-tr |
