Login / Signup
Yousra Lembachar
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 1
Top Topics
Theorem Prover
Eca Rules
Model Checking
Binary Decision Diagrams
Top Venues
Trans. Petri Nets Other Model. Concurr.
ICECCS
PNSE+ModPE
TAP@STAF
</>
Publications
</>