D. M. Atiya

Publication Activity (10 Years)

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

Publications

D. M. Atiya, S. King
A compliance notation for verifying concurrent systems. ICSE (2002)