On CSP refinement tests that run multiple copies of a process
Gavin Lowe
Details
| Journal |
Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007) |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Activities |