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]
@inproceedings{DelahayeLLPW11-0,
title = {APAC: A Tool for Reasoning about Abstract Probabilistic Automata},
author = {Benoît Delahaye and Kim G. Larsen and Axel Legay and Mikkel L. Pedersen and Andrzej Wasowski},
year = {2011},
doi = {10.1109/QEST.2011.28},
url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2011.28},
researchr = {https://researchr.org/publication/DelahayeLLPW11-0},
cites = {0},
citedby = {0},
pages = {151-152},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-0973-9},
}