DBLP Record 'conf/pstv/PirmezPM95'

BibTeX

@inproceedings{DBLP:conf/pstv/PirmezPM95,
  author    = {Luci Pirmez and
               Aloysio Pedroza and
               Ant{\^o}nio C. Mesquita},
  title     = {A methodology for the implementation of protocols in hardware
               from a formal description},
  booktitle = {PSTV},
  year      = {1995},
  pages     = {419-434},
  crossref  = {DBLP:conf/pstv/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pstv/1995,
  editor    = {Piotr Dembinski and
               Marek Sredniawa},
  title     = {Protocol Specification, Testing and Verification XV, Proceedings
               of the Fifteenth IFIP WG6.1 International Symposium on Protocol
               Specification, Testing and Verification, Warsaw, Poland,
               June 1995},
  booktitle = {PSTV},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {38},
  year      = {1996},
  isbn      = {0-412-71620-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}