Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /

Corporate Authors: FORMATS (Conference) Beijing, China)
Group Author: Jansen, David N. (Editor); Prabhakar, Pavithra (Editor)
Published: Springer,
Publication Dates: [2018]
Call Number: TP391.9-532/F723/2018