Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... supporting the construction of cTLA-Specifications -- A tool for proving invariance properties of concurrent...”
Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...Fair Termination for Parameterized Probabilistic Concurrent Systems.-Forward Bisimulations...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Verification in Practice -- Ten Years of Performance Evaluation for Concurrent Systems Using CADP -- Towards...”
Cover Image
Read Now

4
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Modeling: A Case Study for Multi-faceted Concurrent Systems -- Tutorial: Automata Learning in Practice...”
Cover Image
Read Now

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Out of Your Hardware to Verify Your Software!.-Static Partial-Order Reduction of Concurrent Systems...”