BibTeX record conf/samos/WesterlundP05

• > Home > conf/samos/WesterlundP05

@inproceedings{DBLP:conf/samos/WesterlundP05,
  author       = {Tomi Westerlund and
                  Juha Plosila},
  editor       = {Timo D. H{\"{a}}m{\"{a}}l{\"{a}}inen and
                  Andy D. Pimentel and
                  Jarmo Takala and
                  Stamatis Vassiliadis},
  title        = {Formal Specification of a Protocol Processor},
  booktitle    = {Embedded Computer Systems: Architectures, Modeling, and Simulation
                  5th International Workshop, {SAMOS} 2005, Samos, Greece, July 18-20,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3553},
  pages        = {122--131},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11512622\_14},
  doi          = {10.1007/11512622\_14},
  timestamp    = {Wed, 25 Sep 2019 18:17:05 +0200},
  biburl       = {https://dblp.org/rec/conf/samos/WesterlundP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}