Login / Signup

The reactive simulatability (RSIM) framework for asynchronous systems.

Michael BackesBirgit PfitzmannMichael Waidner
Published in: Inf. Comput. (2007)
Keyphrases