Statistics
Publications
3
Citations
64
H-Index
3
Active since
1999
Affiliations
W.E. Warner is an author at Boeing (United States) specializing in systems modeling, model checking, and symbolic model checking.
Publications per year
1999–2002
3
3
Optimizing symbolic model checking for statecharts
W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 2001 · 34 citations
1–3 of 3