Synchronised Shared Memory and Model Checking: A Proof of Concept.

Joaqun Aguado, Alejandra Duenas

Browse the full FDL paper archive.