Error-pruning in interface automata

From MaRDI portal
Publication:2517232