Distances for Weighted Transition Systems: Games and Properties

Uli Fahrenberg, Claus R. Thrane, Kim Guldstrand Larsen

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Translated title of the contribution	Distances for Weighted Transition Systems: Games and Properties
Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	57
Pages (from-to)	134-147
Number of pages	14
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.57.10
Publication status	Published - 2011
Event	9th Workshop on Quantitative Aspects of Programming Languages - Saarbrücken, Germany Duration: 1 Apr 2011 → 3 Apr 2011 Conference number: 9

Workshop	9th Workshop on Quantitative Aspects of Programming Languages
Number	9
Country/Territory	Germany
City	Saarbrücken
Period	01/04/2011 → 03/04/2011

Access to Document

@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 = "9th Workshop on Quantitative Aspects of Programming Languages ; 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

SN - 2075-2180

VL - 57

SP - 134

EP - 147

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

T2 - 9th Workshop on Quantitative Aspects of Programming Languages

Y2 - 1 April 2011 through 3 April 2011

ER -