TitleDecoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts
Publication TypeMiscellaneous
Year of Publication1998
AuthorsChan W, Anderson RJ, Beame P., Jones DJ, Notkin D, Warner WE
Citation Keycabjnw:icse99-tr