Amelia Soriano

	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

Coauthor Index

1

Dinarle Ortega

[2]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page