Stefan Böhmer, Ralf Klafka. A new approach to performance evaluation of formally specified protocols. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 452-454, Chapman & Hall, 1994.
@inproceedings{BohmerK94,
title = {A new approach to performance evaluation of formally specified protocols},
author = {Stefan Böhmer and Ralf Klafka},
year = {1994},
tags = {protocol, systematic-approach},
researchr = {https://researchr.org/publication/BohmerK94},
cites = {0},
citedby = {0},
pages = {452-454},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994},
editor = {Dieter Hogrefe and Stefan Leue},
volume = {6},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-64450-9},
}