Login / Signup
Lazhar Hamel
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 18
Top Topics
Formal Verification
Ws Bpel
Composite Services
Petri Net
Top Venues
ISCC
KES
Formal Aspects Comput.
ICCCI (CCIS Volume)
</>
Publications
</>