Mohamed Taghelit

According to our database¹, Mohamed Taghelit authored at least 3 papers between 1993 and 1995.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1995

Symbolic Reachability Graph and Partial Symmetries.

[DOI]

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

Assessment of ESTELLE and EDT Through Real Case Studies.

Proceedings of the Protocol Specification, 1993

A Protocol Specification Language with a High-Level Petri Net Semantics.

Proceedings of the Decentralized and Distributed Systems, 1993