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.

Basic results on the semantics of Accellera PSL 1.1 foundation language

The work

AuthorsJ. Havlicek; D. Fisman; C. Eisner
Editors
Typearticle
Year2004
Citekeyhavlicek2004basic

Where it appeared

Published inTechnical Report 2004.02, Accelera

How it got here

How it got hereagent via bibtex
Added2026-10-26 22:21 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{havlicek2004basic,
  title        = {Basic results on the semantics of Accellera PSL 1.1 foundation language},
  author       = {J. Havlicek and D. Fisman and C. Eisner},
  year         = {2004},
  journal      = {Technical Report 2004.02, Accelera},
}

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