Metrics for weighted transition systems: Axiomatization and complexity

Kim Guldstrand Larsen, U. Fahrenberg, C. Thrane

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

21 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind412
Udgave nummer28
Sider (fra-til)3358-3369
Antal sider12
ISSN0304-3975
DOI
StatusUdgivet - 1 jun. 2011

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

Citationsformater