Login / Signup
Abbas Mehemmel
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
Mohamed Bettaz
,
Abbas Mehemmel
Modelling and proving of truly concurrent systems with CATNets.
PDP
(1993)