Jan-Peter Richter, Hermann de Meer. Towards Formal Semantics for QoS Support. In INFOCOM. pages 472-479, 1998.
@inproceedings{RichterM98,
title = {Towards Formal Semantics for QoS Support},
author = {Jan-Peter Richter and Hermann de Meer},
year = {1998},
tags = {semantics, formal semantics},
researchr = {https://researchr.org/publication/RichterM98},
cites = {0},
citedby = {0},
pages = {472-479},
booktitle = {INFOCOM},
}