Login / Signup
Saeide Ahmadi
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Computation Tree Logic
Transition Systems
Automated Verification
Model Checking
Top Venues
FSEN
</>
Publications
</>
Fatemeh Ghassemi
,
Saeide Ahmadi
,
Wan J. Fokkink
,
Ali Movaghar
Model Checking MANETs with Arbitrary Mobility.
FSEN
(2013)