| |
| 2007 | ||
|---|---|---|
| 6 | EE | Chiheb Ameur Abid, Belhassen Zouari: A distributed verification approach for modular Petri nets. SCSC 2007: 681-690 |
| 2006 | ||
| 5 | EE | Belhassen Zouari: A Structure Causality Relation for Liveness Characterisation in Petri Nets. J. UCS 12(2): 214-232 (2006) |
| 2005 | ||
| 4 | EE | Belhassen Zouari: A Structure Causality Relation for Liveness Characterisation in Petri Nets. J. UCS 11(6): 1115-1133 (2005) |
| 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 | Chiheb Ameur Abid | [6] |
| 2 | Serge Haddad | [1] [2] [3] |
| 3 | Jean-Michel Ilié (Jean Michel Ilié) | [3] |
| 4 | Mohamed Taghelit | [1] [2] [3] |