Login / Signup
Ankit Rathor
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Formal Specification
Temporal Properties
Model Checking
Computation Tree Logic
Top Venues
AINTEC
</>
Publications
</>
Shiraj Arora
,
Ankit Rathor
,
M. V. Panduranga Rao
Statistical Model Checking of Opportunistic Network Protocols.
AINTEC
(2015)