- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 1 |      | Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani: Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. FME 2003: 114-132 |
| 1 | Daniele Compare | [1] |
| 2 | Paola Inverardi | [1] |
| 3 | Patrizio Pelliccione | [1] |