Login / Signup
Sudeep Kanav
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 11
Top Topics
Formal Verification
Management System
Cooperative
Tool Support
Top Venues
MoDELS (Workshops)
CoRR
CAV (2)
MoDELS (Satellite Events)
</>
Publications
</>