A new approach to performance evaluation of formally specified protocols
Authors: Böhmer, Stefan and Klafka, R.
Department of Communication Networks (ComNets), Faculty 6, RWTH Aachen University
Contact: publications@comnets.rwth-aachen.de
In Formal description Techniques VII, p.p. 452-454, Londo,Chapman and Hall, 1994.
Publication Date: , 1994
On page(s):452-454
ISBN:
Abstract
Author Keywords
Bibtex
@INPROCEEDINGS{SBKl_FDT94,
AUTHOR = {Böhmer, S. and Klafka, R.},
TITLE = {A new approach to performance evaluation of formally specified protocols},
JOURNAL = {Formal description Techniques VII},
YEAR = {1994},
VOLUME = {0},
PAGES = {452-454},
PUBLISHER = {Chapman and Hall},
ADDRESS = {Londo},
AFFILIATION = {Department of Communication Networks (ComNets), Faculty 6, RWTH Aachen University},
URL = {https://www.comnets.rwth-aachen.de}
}