Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley. Specification and Efficient Computation of Passage-Time Distributions in GPA. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. pages 199-200, IEEE Computer Society, 2012. [doi]
@inproceedings{KohutSHB12,
title = {Specification and Efficient Computation of Passage-Time Distributions in GPA},
author = {Matej Kohut and Anton Stefanek and Richard A. Hayden and Jeremy T. Bradley},
year = {2012},
doi = {10.1109/QEST.2012.24},
url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2012.24},
researchr = {https://researchr.org/publication/KohutSHB12},
cites = {0},
citedby = {0},
pages = {199-200},
booktitle = {Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-2346-8},
}