Search alternatives:
automated theory » automated theorem, automatic theorem, automated factory
languages » language
automata » automatic
Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... Model Checking for Probabilistic Programs -- Counter Systems, Automata -- How Hard Is It to Verify Flat...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
Published 2015
Springer International Publishing
Table of Contents: “... in industry.- Formal analysis support for modeling languages used in industry -- Code generation from...”