Amelia Soriano

Publication Activity (10 Years)

Years Active: 1988-2001
Publications (10 Years): 0

Publications

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