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.

Defining liveness

The work

AuthorsB. Alpern; F. B. Schneider
Editors
Typemisc
Year1985
Also known asanon1985defining
Citekeyalpern1985defining

Where it appeared

PublisherElsevier BV

How it got here

How it got hereagent via unpaywall
Added2026-10-26 16:53 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{alpern1985defining,
  title        = {Defining liveness},
  author       = {B. Alpern and F. B. Schneider},
  year         = {1985},
  publisher    = {Elsevier BV},
  doi          = {10.1016/0020-0190(85)90056-0},
}

This record lives at https://refs.drheap.org/alpern1985defining/ and will keep doing so. It used to be called anon1985defining, and those addresses still resolve to this one.