Buscar por Autor ANTONINO, Pedro Ribeiro Gonçalves
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 31-mar-2014 | A refinement based strategy for locally verifying networks of CSP processes | ANTONINO, Pedro Ribeiro Gonçalves |