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]
Abstract is missing.