| Originalsprog | Engelsk |
|---|---|
| Publikationsdato | 2009 |
| Status | Udgivet - 2009 |
| Begivenhed | QUANTLOG - Varighed: 14 jul. 2010 → … |
Konference
| Konference | QUANTLOG |
|---|---|
| Periode | 14/07/2010 → … |
A quantitative characterization of weighted Kripke structures in temporal logic
Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane
Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review