Verifying Concurrent System Specification in COSY.

M. W. Shields, Peter E. Lauer

Browse the full MFCS paper archive.