Sriram Sankaranarayanan
Identifiers
- Open LibraryOL7868696A
Top Subjects
- Computer simulation (1)
- System analysis (1)
- Computer science (1)
Books by Sriram Sankaranarayanan
Total count: 5
-
Formal Modeling and Analysis of Timed Systems13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, ProceedingsSpringer London, Limited2015-01-01
-
Tools and Algorithms for the Construction and Analysis of Systems29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part IISpringer2023-01-01
-
Verification, Model Checking, and Abstract Interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part ISpringer2025-01-01
-
Integer Programming GamesNow Publishers2025-01-01
-
Automated Technology for Verification and Analysis22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-IISpringer2025-01-01