Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
“... design of distributed and concurrent systems. As a realistic example typical for operating systems...”
Cover Image
Read Now

2
Published 1989
Springer Berlin Heidelberg
“... of specifications for concurrent systems in liveness and safety properties and functional specifications...”
Cover Image
Read Now

3
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... specification language for real-time concurrent systems and properties -- Algebraic calculation of graph...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Timed Testing of Real-Time and Concurrent Systems -- Test Case Generation for UML Statecharts...”