Contributions to formal communication elimination for system models with explicit parallelism

Tesis doctoral de Francesc Xavier Babot Pagés Los métodos de verificación formal se están usando cada vez más en la […]

, , , , ,