"Round-Preserving Parallel Composition of Probabilistic-Termination ..."

Ran Cohen et al. (2021)

Details and statistics

DOI: 10.1007/S00145-021-09377-0

access: closed

type: Journal Article

metadata version: 2025-05-31