Login / Signup

Majdi Ghannoudi

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Formal Verification
Linear Temporal Logic
Petri Net
Web Services Composition

Top Venues

ISNCC
Publications