Probabilistic relations (1998)

by Prakash Panangaden
Venue:Proceedings PROBMIV