Injective envelope of graphs and transition systems

From MaRDI portal
Publication:1584442