Login / Signup
Dinesh Chhatani
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 3
Top Topics
Knn
Word Level
Chinese Text Retrieval
N Gram
Top Venues
CoRR
CAV (2)
Formal Methods Syst. Des.
</>
Publications
</>
Supratik Chakraborty
,
Zurab Khasidashvili
,
Carl-Johan H. Seger
,
Rajkumar Gajavelly
,
Tanmay Haldankar
,
Dinesh Chhatani
,
Rakesh Mistry
Symbolic trajectory evaluation for word-level verification: theory and implementation.
Formal Methods Syst. Des.
50 (2-3) (2017)
Supratik Chakraborty
,
Zurab Khasidashvili
,
Carl-Johan H. Seger
,
Rajkumar Gajavelly
,
Tanmay Haldankar
,
Dinesh Chhatani
,
Rakesh Mistry
Word-Level Symbolic Trajectory Evaluation.
CAV (2)
(2015)
Supratik Chakraborty
,
Zurab Khasidashvili
,
Carl-Johan H. Seger
,
Rajkumar Gajavelly
,
Tanmay Haldankar
,
Dinesh Chhatani
,
Rakesh Mistry
Word-level Symbolic Trajectory Evaluation.
CoRR
(2015)