Login / Signup
Mohammad Esmail Esmaili
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Epistemic Logic
Automated Verification
Reactive Systems
Petri Net
Top Venues
J. Comput. Sci. Eng.
</>
Publications
</>
Mohammad Esmail Esmaili
,
Reza Entezari-Maleki
,
Ali Movaghar
Improved Region-Based TCTL Model Checking of Time Petri Nets.
J. Comput. Sci. Eng.
9 (1) (2015)