Shaochun Wang

According to our database, Shaochun Wang authored at least 3 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Temporal Filter A Temporal Extension to Wireshark Display Filter.

Shaochun Wang

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2005

An Improved Case-Based Approach to LTL Model Checking.

Fei Pu, Wenhui Zhang, Shaochun Wang

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

2003

Object Orientation without Extending Z.

Mark Utting, Shaochun Wang

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003