Search alternatives:
languages » language
automata » automated
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... in a simple meta-logic for LF -- Deductive vs. model-theoretic approaches to formal verification...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Rewriting Foundations -- The Hydra Battle Revisited -- Orderings and Constraints: Theory...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... language -- More problems in rewriting...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Formal to Practical Security -- Verification of Security Protocols with a Bounded Number...”