Probabilistic estimation of the number of prefixes of a trace

From MaRDI portal
Publication:1184996