Login / Signup
Mahamed Graïet
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Business Processes
Inter Organizational
Model Checker
Workflow Systems
Top Venues
ICSOC Workshops
</>
Publications
</>
Ikram Garfatta
,
Kaïs Klai
,
Mahamed Graïet
,
Walid Gaaloul
Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.
ICSOC Workshops
(2020)