Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20
Sriram Sankaranarayanan
Paperback
Not Available
Formal Modeling and Analysis of Timed Systems
We use cookies to give you the best online experience. Please let us know if you agree to all of these cookies. To learn more view privacy and cookies policy.