M. Nash

Publication Activity (10 Years)

Years Active: 1988-1996
Publications (10 Years): 0

Publications

M. Nash, R. J. Kennett
Implementing Security Policy in a Large Defense Procurement. ACSAC (1996)
Hyunwoo Cho, Gary D. Hachtel, M. Nash, L. Setiono
BEATNP: a tool for partitioning Boolean networks. ICCAD (1988)