Extending CSP with tests for availability

Bibliografske podrobnosti
Glavni avtor: Lowe, G
Format: Journal article
Izdano: 2009