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.

Event register specification and decomposition

The work

AuthorsM. B. Josephs
Editors
Typeinproceedings
Year1994
Citekeyjosephs1994event

Where it appeared

Published inAMULET1 modelling workshop

How it got here

How it got hereagent via bibtex
Added2026-10-27 13:31 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@inproceedings{josephs1994event,
  title        = {Event register specification and decomposition},
  author       = {M. B. Josephs},
  year         = {1994},
  booktitle    = {AMULET1 modelling workshop},
}

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