A two-person game of timing with random termination

From MaRDI portal
Publication:1169413