Hani El-Sayed

According to our database¹, Hani El-Sayed authored at least 2 papers in 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

Comparative analysis of the notions of equivalence for process specifications.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30, 1998

Transformation of estelle specifications to lotos specifications.

[BibT_eX]

Proceedings of the Computers and Their Applications (CATA-98), 1998