Cover Image
Read Now

1
Published 2014
Springer International Publishing
Table of Contents: “.... Mathematical and Computational Perspectives -- The Freedoms of (Guarded) Bisimulation; Erich Grädel and Martin...”