Extending CSP with tests for availability

Detalles Bibliográficos
Autor Principal: Lowe, G
Formato: Journal article
Publicado: 2009