Closure and decision properties for higher-dimensional automata

From MaRDI portal
Publication:6605362