Sriram Sankaranarayanan
Sriram Sankaranarayanan
3 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Sriram Sankaranarayanan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.