An R&D Centre at IIT Bombay

Reports and Students Theses 2004-2005
Technical Reports 2004-2005

  • Dina Thomas, Paritosh Pandya and Supratik Chakraborty, Scheduling Clusters in Model Checking of Real Time Systems, Technical Report No. TR-04-16.[download]

Technical Reports 2001-2002