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]