Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

conference paper · Lecture notes in computer science · 2014

A ZDD-Based Efficient Higher-Order Model Checking Algorithm

Taku Terao, Naoki Kobayashi

Cited by 8Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

APA 7

Terao, T., & Kobayashi, N. (2014). A ZDD-Based Efficient Higher-Order Model Checking Algorithm. Lecture notes in computer science, 354–371. https://doi.org/10.1007/978-3-319-12736-1_19

MLA 9

Terao, Taku, and Naoki Kobayashi. “A ZDD-Based Efficient Higher-Order Model Checking Algorithm.” Lecture notes in computer science, 2014, pp. 354–71, https://doi.org/10.1007/978-3-319-12736-1_19.

Chicago

Terao, Taku, and Naoki Kobayashi. 2014. “A ZDD-Based Efficient Higher-Order Model Checking Algorithm.” Lecture notes in computer science: 354–71. https://doi.org/10.1007/978-3-319-12736-1_19.

Harvard

Terao, T. and Kobayashi, N. (2014) ‘A ZDD-Based Efficient Higher-Order Model Checking Algorithm’, Lecture notes in computer science, pp. 354–371. Available at: https://doi.org/10.1007/978-3-319-12736-1_19.

BibTeX
@article{terao2014based,
  title = {{A ZDD-Based Efficient Higher-Order Model Checking Algorithm}},
  author = {Terao, Taku and Kobayashi, Naoki},
  journal = {Lecture notes in computer science},
  pages = {354--371},
  year = {2014},
  doi = {10.1007/978-3-319-12736-1_19}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers