"Semantic Domains for Combining Probability and Non-Determinism."

Details and statistics

DOI: 10.1016/J.ENTCS.2009.01.002

access: open

type: Withdrawn Item

metadata version: 2023-03-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics