Toward a formal semantics of IEEE Std. VHDL 1076 (bibtex)

by Serafín Olcoz

Reference:

Toward a formal semantics of IEEE Std. VHDL 1076 (Serafín Olcoz), In Proceedings of the European Design Automation Conference 1993, EURO-DAC'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993, IEEE Computer Society Press, 1993.

Bibtex Entry:

@InProceedings{Olcoz1993b,
  author    = {Seraf{\'{\i}}n Olcoz and Jos{\'{e}}-Manuel Colom},
  booktitle = {Proceedings of the European Design Automation Conference 1993, {EURO-DAC}'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993},
  title     = {Toward a formal semantics of {IEEE} {Std.} {VHDL} 1076},
  year      = {1993},
  pages     = {526--531},
  publisher = {{IEEE} Computer Society Press},
  doi       = {10.1109/EURDAC.1993.410687},
  groups    = {silarri:6},
  isbn      = {0-8186-4350-1},
  keywords  = {Petri Net Modelling, Digital Circuits, VHDL Language},
  url       = {https://doi.org/10.1109/EURDAC.1993.410687},
}