On the power of randomized multicounter machines

From MaRDI portal
Publication:1763706