Bibliography

model checking

Every citation on this page, in the formats reference managers ingest. Rendered from the same CSL record as the citation buttons on the article page.

Back to articleDownload BibTeXDownload RIS

BibTeX

@online{anticloud2026ModelChecking,
  author        = {Anticloud FZ LLE},
  title         = {model checking},
  journal       = {encyclopegia.org},
  publisher     = {Anticloud FZ LLE},
  address       = {Dubai, United Arab Emirates},
  year          = {2026},
  url           = {https://encyclopegia.org/a/model-checking},
  urldate       = {2026-11-12},
  doi           = {eo1:model-checking-183258-94e5285d96330b52},
  eprint        = {model-checking-183258-94e5285d96330b52},
  howpublished  = {https://en.wikipedia.org/w/index.php?oldid=1374065854},
  license       = {CC BY-SA 4.0},
  note          = {Immutable snapshot model-checking-183258-94e5285d96330b52, content root 94e5285d96330b52…}
}

RIS

TY  - WEB
TI  - model checking
AU  - Anticloud FZ LLE
PY  - 2026
DA  - 2026-10-18
PB  - Anticloud FZ LLE
PP  - Dubai, United Arab Emirates
UR  - https://encyclopegia.org/a/model-checking
Y2  - 2026-11-12
LA  - en
DO  - eo1:model-checking-183258-94e5285d96330b52
CP  - CC BY-SA 4.0
N1  - Immutable snapshot: model-checking-183258-94e5285d96330b52
N1  - Derived from: https://en.wikipedia.org/w/index.php?oldid=1374065854
ER  -