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.

Linear Temporal Logic Symbolic Model Checking

The work

AuthorsKristin Yvonne Rozier
Editors
Typearticle
Year2010
Citekeyrozier2010linear

Where it appeared

Published inComputer Science Review
PublisherElsevier BV
Volume5
Issue2
Pages163--203

Identifiers

DOI10.1016/j.cosrev.2010.06.002
OpenAlexW1965024948

Access

Landing pagehttps://doi.org/10.1016/j.cosrev.2010.06.002

How it got here

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

Filed under

state-space-not-proof

Cite it as

@article{rozier2010linear,
  title        = {Linear Temporal Logic Symbolic Model Checking},
  author       = {Kristin Yvonne Rozier},
  year         = {2010},
  journal      = {Computer Science Review},
  publisher    = {Elsevier BV},
  volume       = {5},
  number       = {2},
  pages        = {163--203},
  doi          = {10.1016/j.cosrev.2010.06.002},
}

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