Metrics for weighted transition systems: Axiomatization and complexity

Kim Guldstrand Larsen, U. Fahrenberg, C. Thrane

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

25 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Metrics for weighted transition systems: Axiomatization and complexity'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science