Cover Image
Read Now

1
by Janicki, Ryszard, Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Systems into Concurrent Systems -- 4.6 Modelling N-Modular Redundancy -- 5 Comparison of COSY with Other...”
Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... ?-calculus and its use in model checking -- Analyzing concurrent systems using the Concurrency Workbench...”