Metrics for weighted transition systems: axiomatization and complexity (Q549202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Metrics for weighted transition systems: axiomatization and complexity
scientific article

    Statements

    Identifiers