Madhav Jivrajani

Orcid: 0009-0000-9170-6524

According to our database1, Madhav Jivrajani authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Multi-Grained Specifications for Distributed System Model Checking and Verification.
Proceedings of the Twentieth European Conference on Computer Systems, 2025


  Loading...