Jan de Meer, Axel Rennoch, Jörg Burmeister. Formal approach to QoS specification and verification. In Ann Gawman, Evelyn Kidd, Per-Åke Larson, editors, Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes. pages 108-119, IBM, 1993. [doi]
@inproceedings{MeerRB93,
title = {Formal approach to QoS specification and verification},
author = {Jan de Meer and Axel Rennoch and Jörg Burmeister},
year = {1993},
doi = {10.1145/962300},
url = {http://doi.acm.org/10.1145/962300},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/MeerRB93},
cites = {0},
citedby = {0},
pages = {108-119},
booktitle = {Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes},
editor = {Ann Gawman and Evelyn Kidd and Per-Åke Larson},
publisher = {IBM},
}