Man-tak Shing

Publication Activity (10 Years)

Years Active: 1983-2013
Publications (10 Years): 0

Top Topics

Concurrent Systems

Formal Specification

Pspace Complete

Top Venues

Softw. Pract. Exp.

Publications