Quantitative analysis of weighted transition systems

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

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

Originalsprog	Engelsk
Tidsskrift	Journal of Logic and Algebraic Programming
Vol/bind	79
Udgave nummer	7
Sider (fra-til)	689-703
ISSN	2352-2208
DOI	https://doi.org/doi:10.1016/j.jlap.2010.07.010
Status	Udgivet - okt. 2010

Adgang til dokumentet

@article{f4d859bd00ba474ab08ea42e43d6de01,

title = "Quantitative analysis of weighted transition systems",

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

year = "2010",

month = oct,

doi = "doi:10.1016/j.jlap.2010.07.010",

language = "English",

volume = "79",

pages = "689--703",

journal = "Journal of Logic and Algebraic Programming",

issn = "2352-2208",

publisher = "Elsevier",

number = "7",

}

TY - JOUR

T1 - Quantitative analysis of weighted transition systems

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Thrane, Claus Rørbæk

PY - 2010/10

Y1 - 2010/10

U2 - doi:10.1016/j.jlap.2010.07.010

DO - doi:10.1016/j.jlap.2010.07.010

M3 - Journal article

SN - 2352-2208

VL - 79

SP - 689

EP - 703

JO - Journal of Logic and Algebraic Programming

JF - Journal of Logic and Algebraic Programming

IS - 7

ER -