1
Published 2018
Springer International Publishing
Subjects: ...Formal Languages and Automata Theory...

2
Published 2019
Springer International Publishing
... techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory...