Search alternatives:
automation theory » automata theory, estimation theory, automated theory
automatic theory » automatic theorem, automata theory, axiomatic theory
animation theory » estimation theory, formation theory, dilation theory
languages » language
Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... by Symbolic Refinement Checking -- Automatic Abstraction for Verification of Timed Circuits and Systems...”