ProbNetKAT
From MaRDI portal
Software:33505
No author found.
Related Items (3)
A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Borel kernels and their approximation, categorically ⋮ Undecidable Problems for Probabilistic Network Programming
This page was built for software: ProbNetKAT