Search alternatives:
automata » automated, automatic
Cover Image
Read Now

1
Published 2015
Springer International Publishing
Table of Contents: “...Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration...”
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
Published 2019
Springer International Publishing
Table of Contents: “...Mathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic...”