On CSP refinement tests that run multiple copies of a process

Bibliografske podrobnosti
Glavni avtor: Lowe, G
Format: Conference item
Izdano: 2007