| Title | Decoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts |
| Publication Type | Miscellaneous |
| Year of Publication | 1998 |
| Authors | Chan W, Anderson RJ, Beame P., Jones DJ, Notkin D, Warner WE |
| Date or Month Published | September |
| Citation Key | cabjnw:icse99-tr |
