Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Compositional Reachability for Timed Automata -- Temporal Logics over Linear Time Domains Are in PSPACE -- Lossy...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “...Complexity Bounds for Ordinal-Based Termination -- On The Complexity of Bounded Time Reachability...”
Cover Image
Read Now

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Reachability for finite state systems -- Rewriting systems, reachability analysis in counter/timed...”
Cover Image
Read Now

4
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems -- An Undecidable Permutation...”
Cover Image
Read Now

5
Published 2018
Springer International Publishing
“... for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating...”
Cover Image
Read Now

6
Published 2019
Springer International Publishing
“... for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating...”
Cover Image
Read Now

7
Published 2015
Springer International Publishing
“...; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
“... analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups...”
Cover Image
Read Now

9
Published 2022
Springer International Publishing
“... systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational...”
Cover Image
Read Now

10
Published 2016
Springer International Publishing
“...; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects...”
Cover Image
Read Now

11
Published 2011
Springer Berlin Heidelberg
“... for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical...”
Cover Image
Read Now

12
Published 2012
Springer Berlin Heidelberg
“... procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time...”
Cover Image
Read Now

13
Published 2017
Springer International Publishing
“.../timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups...”