| Original language | English |
|---|---|
| Publication date | 2009 |
| Publication status | Published - 2009 |
| Event | QUANTLOG - Duration: 14 Jul 2010 → … |
Conference
| Conference | QUANTLOG |
|---|---|
| Period | 14/07/2010 → … |
A quantitative characterization of weighted Kripke structures in temporal logic
Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane
Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review