Canonical representation of the state identifier and transient optimization

From MaRDI portal
Publication:584134