Adaptable transition systems

From MaRDI portal
Publication:2848873