A quantitative characterization of weighted Kripke structures in temporal logic
Publication: Research - peer-review › Paper without publisher/journal
| Original language | English |
|---|---|
| Publication date | 2009 |
| State | Published |
Conference
| Conference | QUANTLOG |
|---|---|
| Period | 14-07-10 → … |
ID: 34189589