BibTeX record conf/date/Pierre96

download as .bib file

@inproceedings{DBLP:conf/date/Pierre96,
  author       = {Laurence Pierre},
  title        = {Formal Specification of a Reactive System: An Exercise in VHDL, {LOTOS}
                  and {UNITY}},
  booktitle    = {1996 European Design and Test Conference, ED{\&}TC 1996, Paris,
                  France, March 11-14, 1996},
  pages        = {607},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/EDTC.1996.494371},
  doi          = {10.1109/EDTC.1996.494371},
  timestamp    = {Fri, 20 May 2022 15:52:30 +0200},
  biburl       = {https://dblp.org/rec/conf/date/Pierre96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}