Specification-based Verification in a Distributed Shared Memory Simulation Model

Worawan Marurngsith, Roland N. Ibbett. Specification-based Verification in a Distributed Shared Memory Simulation Model. Simulation, 86(4):229-245, 2010. [doi]

Authors

Worawan Marurngsith

This author has not been identified. Look up 'Worawan Marurngsith' in Google

Roland N. Ibbett

This author has not been identified. Look up 'Roland N. Ibbett' in Google