TitleModel Checking Large Software Specifications
Publication TypeMiscellaneous
Year of Publication1996
AuthorsAnderson RJ, Beame P., Burns S, Chan W, Modugno F, Notkin D, Reese JD
Date or Month PublishedApril
Citation Keyabbcmnr:fse-tr