Cover Image
Read Now

1
by Manna, Zohar, Pnueli, Amir
Published 1992
Springer New York
“... systems, concurrent systems, control systems, etc. They are among the most difficult computing systems...”
Cover Image
Read Now

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