| |
| 2005 | ||
|---|---|---|
| 3 | EE | Enric Pastor, Marco A. Peña, Marc Solé: TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. CAV 2005: 424-428 |
| 2004 | ||
| 2 | EE | Marc Solé, Enric Pastor: Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. ACSD 2004: 207-216 |
| 2002 | ||
| 1 | EE | Marc Solé, Enric Pastor: Traversal Techniques for Concurrent Systems. FMCAD 2002: 220-237 |
| 1 | Enric Pastor | [1] [2] [3] |
| 2 | Marco A. Peña | [3] |