Joseph Cheriyan;Torben Hagerup;Kurt Mehlhorn
-;-;-
Flow faster: efficient decision algorithms for probabilistic simulations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems