| 2001 | ||
|---|---|---|
| 2 | Dinarle Ortega, Amelia Soriano: WUC: A System for Workflow Specification and Verification. ISAS-SCI (1) 2001: 496-501 | |
| 1988 | ||
| 1 | Amelia Soriano: Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants. STACS 1988: 401-402 | |
| 1 | Dinarle Ortega | [2] |