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

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Complement problems and tree automata in AC-like theories (extended abstract) -- Transparent...”
Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Automated Inductive Verification of Parameterized Protocols? -- Automata Techniques -- Efficient Model...”