Cover Image
Read Now

1
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... -- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO -- Specifying...”