Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. APAC: A Tool for Reasoning about Abstract Probabilistic Automata. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 151-152, IEEE Computer Society, 2011. [doi]
Abstract is missing.