Login / Signup
Aznam Yacoub
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 9
Top Topics
Disaster Response
Model Checking
Timed Petri Nets
Formal Methods
Top Venues
SIGSIM-PADS
CoRR
Int. J. Simul. Process. Model.
SIMULTECH
</>
Publications
</>