ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Sumanth Prabhu, S and Fedyukovich, G and D�Souza, D (2024) Maximal Quantified Precondition Synthesis for Linear Array Loops. In: UNSPECIFIED, pp. 245-274.

Suresh, VP and Pai, R and D�Souza, D and D�Souza, M and Chakrabarti, SK (2024) Static Race Detection for Periodic Real-Time Programs with IPCP Locks. [Book Chapter]

This list was generated on Tue Oct 15 11:36:46 2024 IST.
Powered by EPrints A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India