| 2007 | ||
|---|---|---|
| 2 | EE | Jordi Cabot, Robert Clarisó, Daniel Riera: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ASE 2007: 547-548 |
| 2002 | ||
| 1 | EE | Daniel Riera, Miquel A. Piera, Antoni Guasch: PN to CSP Methodology: Improved Bounds. CCIA 2002: 145-158 |
| 1 | Jordi Cabot | [2] |
| 2 | Robert Clarisó | [2] |
| 3 | Antoni Guasch | [1] |
| 4 | Miquel A. Piera | [1] |