"A Compositional Semantics of Boolean-Logic Driven Markov Processes."

Shahid Khan, Joost-Pieter Katoen, Marc Bouissou (2022)

Details and statistics

DOI: 10.5281/ZENODO.6956496

access: closed

type: Data or Artifact

metadata version: 2023-09-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics