Amelia Soriano

According to our database¹, Amelia Soriano authored at least 3 papers between 1987 and 2001.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2001

WUC: A System for Workflow Specification and Verification.

[BibT_eX]

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

1988

Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants.

[BibT_eX]

[DOI]

Proceedings of the STACS 88, 1988

1987

VENUS : un outil d'aide à la vérification des systèmes communicants.

[BibT_eX]

[DOI]

PhD thesis, 1987