Towards a Model-Checker for Circus.

Artur Oliveira Gomes, Andrew Butterfield

Browse the full FM paper archive.