Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...-free processes -- Computing distinguishing formulas for branching bisimulation -- Compositional...”
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
Subjects: “...Computer Communication Networks...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... constraints in the fusion calculus -- On computing the entropy of cellular automata -- On the determinization...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Applications -- Time-Optimal Test Cases for Real-Time Systems -- Using Zone Graph Method for Computing...”