MPG.eBooks - Search Results - formal languages and automata theory

1

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- On the Verification of Cooperating Traffic Agents -- How to Cook a Complete Hoare Logic for Your Pet OO Language...”

2

Published 2015

Springer International Publishing

Table of Contents: “...Ensuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems...”

3

Published 2019

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

4

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications...”

5

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... into Reachability Analysis -- Model-Checking Tools -- Model Checking Support for the ASM High-Level Language -- A...”

6

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness...”