Cover Image
Read Now

1
Published 1999
Springer Vienna
Table of Contents: “... Graph Programming System HOPS -- Truth — A Verification Platform for Concurrent Systems -- Tool...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
“... on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems...”