VazquezSSV91'

BibTeX

@inproceedings{DBLP:conf/pstv/VazquezSSV91,
  author    = {Enrique V{\'a}zquez and
               Pedro Sandoval and
               Marifeli Sedano and
               Juan Vinyes},
  title     = {Automatic Implementation of TP4/IP with an Estelle Workstation.
               Development Methodology and Performance Evaluation},
  booktitle = {PSTV},
  year      = {1991},
  pages     = {125-139},
  crossref  = {DBLP:conf/pstv/1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pstv/1991,
  editor    = {Bengt Jonsson and
               Joachim Parrow and
               Bj{\"o}rn Pehrson},
  title     = {Protocol Specification, Testing and Verification XI, Proceedings
               of the IFIP WG6.1 International Symposium on Protocol Specification,
               Testing and Verification, Stockholm, Sweden, 18-20 June
               1991},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89210-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}