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