Sriram Sankaranarayanan
Sriram Sankaranarayanan
3 books in the database
Books
Formal Modeling and Analysis of Timed SystemsSriram Sankaranarayanan
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan · 2015
Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan
Verification, Model Checking, and Abstract Interpretation
Sriram Sankaranarayanan · 2025
Tools and Algorithms for the Construction and Analysis of SystemsSriram Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan · 2023
Co-authored books and collections
Books that list Sriram Sankaranarayanan among their authors but not as the lead author: co-written works, collections and compilations.