BibTeX record conf/sbcci/HummerG01

• > Home > conf/sbcci/HummerG01

@inproceedings{DBLP:conf/sbcci/HummerG01,
  author       = {Heinz{-}Dieter H{\"{u}}mmer and
                  Walter Geisselhardt},
  title        = {New Aspects in High-Level Specification, Verification, and Design
                  of {IT} Protocols},
  booktitle    = {Proceedings of the 14th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2001, Pirenopolis, Brazil, September 10-15,
                  2001},
  pages        = {58--63},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://dl.acm.org/doi/10.5555/882483.883894},
  doi          = {10.5555/882483.883894},
  timestamp    = {Fri, 03 Jun 2022 10:53:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcci/HummerG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}