Sign in

Value-Based or Conflict-Based? Opacity Definitions for STMs.

Jürgen KönigHeike Wehrheim
Published in: ICTAC (2017)
Keyphrases