Rachna Dhand

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Rachna Dhand, Gareth Lee, Graeme Cole
Analytical Temporal Specification Issues for Industrial Control Systems. AINA Workshops (2010)
Rachna Dhand
Reentrancy Optimization Rationale: A Pragmatic Approach. PDPTA (2003)