Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

Model-Checking Cellular Automata
Author

Klaus Sutner
Organization: Carnegie Mellon University
Department: School of Computer Science
Conference

International Mathematica User Conference 2009
Conference location

Champaign, Illinois, USA
Subject

*Wolfram Technology
URL

http://www.wolfram.com/news/events/userconf2009
Downloads Download Wolfram CDF Player

Download
klaus_sutner_abstract.nb (698.3 KB) - Mathematica Notebook
Download
klaus_sutner_presentation.nb (236.8 KB) - Mathematica Notebook