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.

Model Checking TLA+ Specifications

The work

AuthorsYuan Yu; Panagiotis Manolios; Leslie Lamport
Editors
Typemisc
Year1999
Citekeyyu1999model

Where it appeared

Published inLecture notes in computer science
PublisherSpringer Science+Business Media
Pages54--66

Identifiers

DOI10.1007/3-540-48153-2_6
OpenAlexW2125047630

Access

Landing pagehttps://doi.org/10.1007/3-540-48153-2_6

How it got here

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

Filed under

lamport lncs state-space-not-proof

Cite it as

@misc{yu1999model,
  title        = {Model Checking TLA+ Specifications},
  author       = {Yuan Yu and Panagiotis Manolios and Leslie Lamport},
  year         = {1999},
  journal      = {Lecture notes in computer science},
  publisher    = {Springer Science+Business Media},
  pages        = {54--66},
  doi          = {10.1007/3-540-48153-2_6},
}

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