Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... application -- On net modeling of industrial size concurrent systems -- Analysis of the TMS320C40...”
Cover Image
Read Now

3
by Holzmann, Gerard J.
Published 2004
Addison-Wesley
“... popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent...”