Login / Signup
Anand Yeolekar
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 6
Top Topics
Model Checking
Linear Temporal Logic
Finite State
Transition Systems
Top Venues
ATVA
RTCSA
VLSID
Softw. Test. Verification Reliab.
</>
Publications
</>