Changjun Ma

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Jonathan E. Cook, Cha He, Changjun Ma
Measuring Behavioral Correspondence to a Timed Concurrent Model. ICSM (2001)