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 | |
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
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 |