Logical Characterization of Branching Metrics for Nondeterministic Probabilistic Transition Systems
Articolo
Data di Pubblicazione:
2019
Tipologia CRIS:
Articolo su Rivista
Elenco autori:
Castiglioni, Valentina; Tini, Simone
Link alla scheda completa:
Pubblicato in: