A quantitative characterization of weighted Kripke structures in temporal logic

Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

AUB Link

@article{4b7678386a964cbe8c119f08d937e68d,

title = "A quantitative characterization of weighted Kripke structures in temporal logic",

author = "Uli Fahrenberg and Larsen, {Kim Guldstrand} and Thrane, {Claus R{\o}rb{\ae}k}",

year = "2010",

language = "English",

volume = "29",

pages = "1311--1324",

journal = "Computing and Informatics",

issn = "1335-9150",

publisher = "Nakladatel'stvoS T U",

number = "6+",

}