Equivalent conversions of control automata generated from the description of control plant behavior

From MaRDI portal
Publication:755302