A quantitative characterization of weighted Kripke structures in temporal logic
Publikation: Forskning - peer review › Paper uden forlag/tidsskrift
| Originalsprog | Engelsk |
|---|---|
| Udgivelsesdato | 2009 |
| Status | Udgivet |
Konference
| Konference | QUANTLOG |
|---|---|
| Periode | 14-07-10 → … |
ID: 34189589