Skip to main content

On CSP refinement tests that run multiple copies of a process

Gavin Lowe

Journal
Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007)
Year
2007