@inproceedings{DBLP:conf/pts/GhrigaF93,
  author    = {Mohammed Ghriga and
               Phyllis G. Frankl},
  title     = {Adaptive Testing of Non-Deterministic Communication Protocols},
  booktitle = {Protocol Test Systems},
  year      = {1993},
  pages     = {347-362},
  crossref  = {DBLP:conf/pts/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pts/1993,
  editor    = {Omar Rafiq},
  title     = {Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1
               Sixth International Workshop on Protocol Test systems, Pau,
               France, 28-30 September, 1993},
  booktitle = {Protocol Test Systems},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-19},
  year      = {1994},
  isbn      = {0-444-81697-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}