Belhassen Zouari

	2007
6		Chiheb Ameur Abid, Belhassen Zouari: A distributed verification approach for modular Petri nets. SCSC 2007: 681-690
	2006
5		Belhassen Zouari: A Structure Causality Relation for Liveness Characterisation in Petri Nets. J. UCS 12(2): 214-232 (2006)
	2005
4		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

Coauthor Index

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]

Colors in the list of coauthors