TitleImproving Efficiency of Symbolic Model Checking for State-Based System Requirements
Publication TypeMiscellaneous
Year of Publication1998
AuthorsChan W, Anderson RJ, Beame P., Notkin D
Date or Month Publishedjan
Citation Keycabn:issta-tr