Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
Distances for Weighted Transition Systems: Games and Properties
QAPL, 2011.
@inproceedings{QAPL-2011-FahrenbergTL, author = "Uli Fahrenberg and Claus R. Thrane and Kim G. Larsen", booktitle = "{Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages}", doi = "10.4204/EPTCS.57.10", pages = "134--147", series = "{EPTCS}", title = "{Distances for Weighted Transition Systems: Games and Properties}", volume = 57, year = 2011, }