Mohamed Taghelit

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1995

Symbolic Reachability Graph and Partial Symmetries.

Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari

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

1993

Assessment of ESTELLE and EDT Through Real Case Studies.

Serge Haddad, Mohamed Taghelit, Belhassen Zouari

Proceedings of the Protocol Specification, 1993

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

Belhassen Zouari, Serge Haddad, Mohamed Taghelit

Proceedings of the Decentralized and Distributed Systems, 1993