1
Published 2018
Springer International Publishing
Subjects: ...Mathematical statistics...

2
Published 2022
Springer International Publishing
Subjects: ...Mathematics of Computing...

3
Published 2023
Springer Nature Switzerland
Table of Contents: ... -- Reachability analysis of a class of hybrid gene regulatory networks -- Quantitative Reachability Stackelberg...

4
Published 2015
Springer International Publishing
Table of Contents: ... for the Liveness Problem -- Squareable Words -- Complexity Analysis: Transformation Monoids of Finite Automata...

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... of the Natural Numbers -- Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order...

6
Published 2020
Springer International Publishing
Table of Contents: ... relation compatible saturation -- Case Study: Reachability Analysis of a unified Combat-Command-and-Control...

7
Published 2019
Springer International Publishing
Subjects: ...Mathematics of Computing...

8
Published 2017
Springer International Publishing
..., and to promote the exploration of new approaches for the modelling and analysis of computational processes...

9
Published 2014
Springer International Publishing
.... The papers offer new approaches for the modelling and analysis of computational processes by combining...