The converse of a probabilistic relation (2003)

by E-E Doberkat
Venue:Proc. Foundations of Software Science and Computation Structures ’03