Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Probe Automata for Passage Time Specification. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 101-110, IEEE Computer Society, 2011. [doi]
@inproceedings{AmparoreBDF11,
title = {Probe Automata for Passage Time Specification},
author = {Elvio Gilberto Amparore and Marco Beccuti and Susanna Donatelli and Giuliana Franceschinis},
year = {2011},
doi = {10.1109/QEST.2011.20},
url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2011.20},
researchr = {https://researchr.org/publication/AmparoreBDF11},
cites = {0},
citedby = {0},
pages = {101-110},
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},
}