On CSP refinement tests that run multiple copies of a process

Detaylı Bibliyografya
Yazar: Lowe, G
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: 2007