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 Kontakt: 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:

@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             = {http://www.comnets.rwth-aachen.de} 
}