Formal Modeling and Analysis of Timed Systems : 16th International Conference, Formats 2018, Beijing, China, September 4–6, 2018, Proceedings
ISBN: 9783030001513
Information Available:
Cover Image
Copyright held by Baker & Taylor.