Distances for Weighted Transition Systems: Games and Properties

Bidragets oversatte titel: Distances for Weighted Transition Systems: Games and Properties

Uli Fahrenberg, Claus R. Thrane, Kim Guldstrand Larsen

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Bidragets oversatte titel	Distances for Weighted Transition Systems: Games and Properties
Originalsprog	Engelsk
Tidsskrift	Electronic Proceedings in Theoretical Computer Science
Vol/bind	57
Sider (fra-til)	134-147
Antal sider	14
ISSN	2075-2180
DOI	https://doi.org/10.4204/EPTCS.57.10
Status	Udgivet - 2011
Begivenhed	9th Workshop on Quantitative Aspects of Programming Languages - Saarbrücken, Tyskland Varighed: 1 apr. 2011 → 3 apr. 2011 Konferencens nummer: 9

Workshop	9th Workshop on Quantitative Aspects of Programming Languages
Nummer	9
Land/Område	Tyskland
By	Saarbrücken
Periode	01/04/2011 → 03/04/2011

Adgang til dokumentet

@inproceedings{af3084d6120940e19b3af128ce30457c,

title = "Distances for Weighted Transition Systems: Games and Properties",

author = "Uli Fahrenberg and Thrane, {Claus R.} and Larsen, {Kim Guldstrand}",

year = "2011",

doi = "10.4204/EPTCS.57.10",

language = "English",

volume = "57",

pages = "134--147",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "null ; Conference date: 01-04-2011 Through 03-04-2011",

}

TY - GEN

T1 - Distances for Weighted Transition Systems: Games and Properties

AU - Fahrenberg, Uli

AU - Thrane, Claus R.

AU - Larsen, Kim Guldstrand

N1 - Conference code: 9

PY - 2011

Y1 - 2011

U2 - 10.4204/EPTCS.57.10

DO - 10.4204/EPTCS.57.10

M3 - Conference article in Journal

VL - 57

SP - 134

EP - 147

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

Y2 - 1 April 2011 through 3 April 2011

ER -