scientific article; zbMATH DE number 5236418
From MaRDI portal
Publication:5442843
zbMath1135.37001MaRDI QIDQ5442843
Publication date: 18 February 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Dynamical systems in other branches of physics (quantum mechanics, general relativity, laser physics) (37N20) Dynamical aspects of cellular automata (37B15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to dynamical systems and ergodic theory (37-01) Symbolic dynamics (37B10)
This page was built for publication: