Aditya Rajeev Kulkarni

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

S. Ramesh, Aditya Rajeev Kulkarni, Viraj Kamat
Slicing tools for synchronous reactive programs. ISSTA (2004)
Aditya Rajeev Kulkarni, S. Ramesh
Static Slicing of Reactive Programs. SCAM (2003)