Finding Contents or People

Invited Speaker, GrapChina-2018
Keynote Speaker, XX Euroanalysis 2019, Istanbul University
Affiliation
Administrative Position:
Journal papars
Papers Presented at International and National Congresses
Book Publication
Abstract CV
رزومه کامل منهای مقالات و کنفرانس ها
Promela model for event queue
Event queue source code
Promela model for main()
Biography 36
Projects & Work Experience
Papers