Temporal analysis of data flow control systems

From MaRDI portal
Publication:1129680