IIT Mandi Repository
→
Computer Science
→
Technical Reports
→
Browsing Technical Reports by Author

Browsing Technical Reports by Author "Kailasam, Sriram"

Now showing items 1-1 of 1

Title: Analysis by proof and verification of an abstract algorithm for distributed irregular tree processing Author: Kiehn, Astrid; Kailasam, Sriram Date: 2022-03-26

Now showing items 1-1 of 1

Search IIT Mandi Repository

Advanced Search

Browse

All of IIT Mandi Repository
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account