A formal modelling of control processes

From MaRDI portal
Publication:1296669