Amine Benkiran

Publication Activity (10 Years)

Years Active: 1989-2008
Publications (10 Years): 0

Publications

Amine Benkiran
Brouwer's fixed point theorem (abstract only). ACM Commun. Comput. Algebra 42 (1-2) (2008)
Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat
Formal Validation of a Multicast Transport Protocol. ISCC (2001)
Raouf Boutaba, Amine Benkiran
A Framework for Distributed Systems Management. NETWORKS (1992)
Amine Benkiran, Gérard Durand, Rolf Kraemer, Munir Tag
A Communication System Architecture for the Office. INFOCOM (1989)