Uli Fahrenberg, Claus Thrane, Kim G. Larsen. Distances for Weighted Transition Systems: Games and properties. In QAPL, Electronic Proceedings in Theoretical Computer Science, Volume 57, Pages 134-147, 2011.
@InProceedings{FahrenbergTL11-QAPL,
Author = {Fahrenberg, Uli and Thrane, Claus and Larsen, Kim G.},
Title = {Distances for Weighted Transition Systems: Games and properties},
BookTitle = {QAPL},
Volume = {57},
Pages = {134--147},
Series = {{Electronic Proceedings in Theoretical Computer Science}},
Year = {2011}
}
Get EndNote Reference (.ref)