Logical Characterization of Branching Metrics for Nondeterministic Probabilistic Transition Systems
Academic Article
Publication Date:
2019
Iris type:
Articolo su Rivista
List of contributors:
Castiglioni, Valentina; Tini, Simone
Published in: