Zakaria Bouziane

	1998
3		Zakaria Bouziane: A Primitive Recursive Algorithm for the General Petri Net Reachability Problem. FOCS 1998: 130-136
2		Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon: BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205
	1997
1		Zakaria Bouziane, Alain Finkel: Cyclic Petri net reachability sets are semi-linear effectively constructible. Electr. Notes Theor. Comput. Sci. 9: (1997)

Coauthor Index

1	Albert Benveniste	[2]
2	Benoît Caillaud	[2]
3	Hubert Canon	[2]
4	Alain Finkel	[1]
5	Claude Jard	[2]
6	Jean-Pierre Talpin	[2]

Colors in the list of coauthors