The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Developing a Formal Semantic Definition of VHDL

The work

AuthorsPhilip A. Wilsey
Editors
Typeincollection
Year1992
Citekeywilsey1992developing

Where it appeared

Published inKluwer international series in engineering and computer science
PublisherSpringer Nature
Pages245--256

How it got here

How it got hereagent via openalex
Added2026-10-25 06:44 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@incollection{wilsey1992developing,
  title        = {Developing a Formal Semantic Definition of VHDL},
  author       = {Philip A. Wilsey},
  year         = {1992},
  booktitle    = {Kluwer international series in engineering and computer science},
  publisher    = {Springer Nature},
  pages        = {245--256},
  doi          = {10.1007/978-1-4615-3562-1_17},
}

This record lives at https://refs.drheap.org/wilsey1992developing/ and will keep doing so.