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; Prabhakar, Pavithra
Published: Springer,
Publication Dates: [2018]
Call Number: TP391.9-532/F723/2018