Shaochun Wang

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Shaochun Wang
Temporal Filter A Temporal Extension to Wireshark Display Filter. SEKE (2010)
Fei Pu, Wenhui Zhang, Shaochun Wang
An Improved Case-Based Approach to LTL Model Checking. RISE (2005)
Mark Utting, Shaochun Wang
Object Orientation without Extending Z. ZB (2003)