Cover Image
Read Now

1
Published 2019
Springer International Publishing
Table of Contents: “... Using SAT -- Parameterised Verification of Publish/Subscribe Networks with Exception Handling -- Cellular...”