Sandeep Mehrotra

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
LOLA: Runtime Monitoring of Synchronous Systems. TIME (2005)