Metrics for weighted transition systems: Axiomatization and complexity
Publication: Research - peer-review › Journal article
| Original language | English |
|---|---|
| Journal | Theoretical Computer Science |
| Publication date | 1 Jun 2011 |
| Volume | 412 |
| Journal number | 28 |
| Pages | 3358-3369 |
| Number of pages | 12 |
| ISSN | 0304-3975 |
| DOIs | |
| State | Published |
ID: 59445101