Search alternatives:
"actor" » "factor", "actors", "autor"
Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... of Information Flow Using Theorem Proving -- Modeling and Verification of Probabilistic Actor Systems Using...”