| |
| 2005 | ||
|---|---|---|
| 1 | EE | Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe: Explicit-Symbolic Modelling for Formal Verification. Electr. Notes Theor. Comput. Sci. 130: 301-321 (2005) |
| 1 | Sérgio Vale Aguiar Campos | [1] |
| 2 | Umberto S. Costa | [1] |
| 3 | David Déharbe | [1] |