Specification-based Verification in a Distributed Shared Memory Simulation Model

Worawan Marurngsith, Roland N. Ibbett

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Specification-based Verification in a Distributed Shared Memory Simulation Model'. Together they form a unique fingerprint.

Computer Science