External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

SAT-Based Analysis of Cellular Automata

Massimo D Antonio, Giorgio Delzanno. SAT-Based Analysis of Cellular Automata. In Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra, editors, Cellular Automata, 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004, Proceedings. Volume 3305 of Lecture Notes in Computer Science, pages 745-754, Springer, 2004. [doi]

Abstract

Abstract is missing.

runs on