3 Ebooks by Sriram Sankaranarayanan
Sriram Sankaranarayanan & Enrico Vicario: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The …
PDF
English
DRM
€57.44
Sriram Sankaranarayanan & Natasha Sharygina: Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the …
EPUB
English
DRM
€3.81
Sriram Sankaranarayanan & Natasha Sharygina: Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the …
EPUB
English
DRM
€3.81
