 | 2001 |
|---|
| 4 |       | William Chan,
Richard J. Anderson,
Paul Beame,
David H. Jones,
David Notkin,
William E. Warner:
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng. 27(2): 170-190 (2001) |
| 1999 |
|---|
| 3 | | William Chan,
Richard J. Anderson,
Paul Beame,
David H. Jones,
David Notkin,
William E. Warner:
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
ICSE 1999: 142-151 |
| 1996 |
|---|
| 2 | | C. R. Nobe,
William E. Warner:
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts.
ICRE 1996: 86-93 |
| 1995 |
|---|
| 1 |  | William E. Warner:
An industry response to comprehensive enterprise information systems management.
Integrated Network Management 1995: 700 |
