Cover Image
Read Now

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... systems -- The model checking problem for concurrent systems with many similar processes -- Unified...”