Mohamed Taghelit

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets (1995)
Belhassen Zouari, Serge Haddad, Mohamed Taghelit
A Protocol Specification Language with a High-Level Petri Net Semantics. Decentralized and Distributed Systems (1993)
Serge Haddad, Mohamed Taghelit, Belhassen Zouari
Assessment of ESTELLE and EDT Through Real Case Studies. PSTV (1993)