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 tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Bidragets oversatte titelDistances for Weighted Transition Systems: Games and Properties
OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind57
Sider (fra-til)134-147
Antal sider14
ISSN2075-2180
DOI
StatusUdgivet - 2011
Begivenhed9th Workshop on Quantitative Aspects of Programming Languages - Saarbrücken, Tyskland
Varighed: 1 apr. 20113 apr. 2011
Konferencens nummer: 9

Workshop

Workshop9th Workshop on Quantitative Aspects of Programming Languages
Nummer9
LandTyskland
BySaarbrücken
Periode01/04/201103/04/2011

Citationsformater