Metrics for weighted transition systems: Axiomatization and complexity

Publication: Research - peer-reviewJournal article

View graph of relations

Original languageEnglish
JournalTheoretical Computer Science
Publication date1 Jun 2011
Volume412
Journal number28
Pages3358-3369
Number of pages12
ISSN0304-3975
DOIs
StatePublished

ID: 59445101