| |
| 2009 | ||
|---|---|---|
| 1 | EE | María C. Molina, Rafael Ruiz-Sautua, Pedro Garcia-Repetto, Román Hermida: Frequent-Pattern-Guided Multilevel Decomposition of Behavioral Specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 60-73 (2009) |
| 1 | Román Hermida | [1] |
| 2 | María C. Molina | [1] |
| 3 | Rafael Ruiz-Sautua | [1] |