A quantitative characterization of weighted Kripke structures in temporal logic

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

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

OriginalsprogEngelsk
Publikationsdato2009
StatusUdgivet - 2009
BegivenhedQUANTLOG -
Varighed: 14 jul. 2010 → …

Konference

KonferenceQUANTLOG
Periode14/07/2010 → …

Citer dette

Fahrenberg, U., Larsen, K. G., & Thrane, C. R. (2009). A quantitative characterization of weighted Kripke structures in temporal logic. Afhandling præsenteret på QUANTLOG, .
Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Thrane, Claus Rørbæk. / A quantitative characterization of weighted Kripke structures in temporal logic. Afhandling præsenteret på QUANTLOG, .
@conference{80340829f9dd49beb4798ccbf4eeb1ed,
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 = "2009",
language = "English",
note = "null ; Conference date: 14-07-2010",

}

Fahrenberg, U, Larsen, KG & Thrane, CR 2009, 'A quantitative characterization of weighted Kripke structures in temporal logic', Paper fremlagt ved QUANTLOG, 14/07/2010.

A quantitative characterization of weighted Kripke structures in temporal logic. / Fahrenberg, Uli; Larsen, Kim Guldstrand; Thrane, Claus Rørbæk.

2009. Afhandling præsenteret på QUANTLOG, .

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

TY - CONF

T1 - A quantitative characterization of weighted Kripke structures in temporal logic

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Thrane, Claus Rørbæk

PY - 2009

Y1 - 2009

M3 - Paper without publisher/journal

ER -

Fahrenberg U, Larsen KG, Thrane CR. A quantitative characterization of weighted Kripke structures in temporal logic. 2009. Afhandling præsenteret på QUANTLOG, .