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

Browsing Computer Science by Author "Kiehn, Astrid"

Now showing items 1-2 of 2

Title: Analysis by proof and verification of an abstract algorithm for distributed irregular tree processing Author: Kiehn, Astrid; Kailasam, Sriram Date: 2022-03-26
Title: Partial Snapshotting: Checkpoint Dissemination and Termination Author: Kiehn, Astrid; Mittal, Abhishek Date: 2018-01-01

Now showing items 1-2 of 2

Search IIT Mandi Repository

Advanced Search

Browse

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

My Account